|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface iMakeUnmake
Interface for objects that are not standard prolog terms, but efficient or different representations of these terms.
Method Summary | |
---|---|
void |
make(jTerm t)
Make this object equivalent to jTerm . |
jTerm |
unmake()
Produce a jTerm equivalent to this object. |
Method Detail |
---|
void make(jTerm t)
jTerm
.
t
- The jTerm
that this object should be equivalent too.jTerm unmake()
jTerm
equivalent to this object.
jTerm
that is equivalent to this object, or null
if no
jTerm
representation exists.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |