ubc.cs.JLog.Terms
Interface iMakeUnmake

All Known Implementing Classes:
jCompoundTerm, jOrPredicate, jPredicateTerms

public interface iMakeUnmake

Interface for objects that are not standard prolog terms, but efficient or different representations of these terms.

Author:
Glendon Holst

Method Summary
 void make(jTerm t)
          Make this object equivalent to jTerm.
 jTerm unmake()
          Produce a jTerm equivalent to this object.
 

Method Detail

make

void make(jTerm t)
Make this object equivalent to jTerm.

Parameters:
t - The jTerm that this object should be equivalent too.

unmake

jTerm unmake()
Produce a jTerm equivalent to this object.

Returns:
jTerm that is equivalent to this object, or null if no jTerm representation exists.