|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface IPrinter
generic interface for custom term output.
IPrinterFactory| Method Summary | |
|---|---|
void |
flush()
flush all internal IPrinter structures. |
void |
writeTerm(Term t)
output term t |
| Method Detail |
|---|
void writeTerm(Term t)
throws TermWareException
t
TermWareExceptionvoid flush()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||