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

Object
  extended by OutputCodec
      extended by MultiOutputCodec
          extended by TermOutputCodec
              extended by 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 TermOutputCodec
ERROR_NOT_SIMPLE_SOLVED_FORM
 
Constructor Summary
OzTermOutputCodec()
           
 
Method Summary
 
Methods inherited from class TermOutputCodec
encode, print_end_list, print_footer, print_header, print_list_separator, print_start_list
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OzTermOutputCodec

public OzTermOutputCodec()