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

Class PrologTermOutputCodec

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.PrologTermOutputCodec

public class PrologTermOutputCodec
extends TermOutputCodec

An output codec for terms in Prolog 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
PrologTermOutputCodec()

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

PrologTermOutputCodec

public PrologTermOutputCodec()