|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectOutputCodec
MultiOutputCodec
TermOutputCodec
OzTermOutputCodec
public class OzTermOutputCodec
An output codec for terms in Oz syntax. See
TermOutputCodec
for more details.
An example output looks as follows:
f(a g(b))
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 |
---|
public OzTermOutputCodec()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |