Package de.saar.chorus.domgraph.codec.term

Class OzTermOutputCodec

java.lang.Object

de.saar.chorus.domgraph.codec.OutputCodec

de.saar.chorus.domgraph.codec.MultiOutputCodec

de.saar.chorus.domgraph.codec.term.TermOutputCodec

de.saar.chorus.domgraph.codec.term.OzTermOutputCodec

public class OzTermOutputCodec
extends TermOutputCodec

An output codec for terms in Oz syntax. See TermOutputCodec for more details.

An example output looks as follows:
f(a g(b))

Author:

Alexander Koller

Field Summary

Fields inherited from class de.saar.chorus.domgraph.codec.term.TermOutputCodec

ERROR_NOT_SIMPLE_SOLVED_FORM, separator

Constructor Summary

Constructors

Constructor	Description
OzTermOutputCodec()

Method Summary

Methods inherited from class de.saar.chorus.domgraph.codec.term.TermOutputCodec

computeTerm, encode, print_end_list, print_footer, print_header, print_list_separator, print_start_list

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OzTermOutputCodec

public OzTermOutputCodec()