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.

Version:

%I%, %G%

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.