ubc.cs.JLog.Terms
Interface iList

All Superinterfaces:

iConsultable, iName, iTerm, iUnifiable, iValue

All Known Implementing Classes:

jList, jListPair, jNullList

public interface iList
extends iTerm

Field Summary

static String	LIST_NULL
static String	LIST_PAIR

Fields inherited from interface ubc.cs.JLog.Terms.iTerm

EQUAL, GREATER_THAN, LESS_THAN

Method Summary

Methods inherited from interface ubc.cs.JLog.Terms.iTerm

compare, consult, consultReset, copy, copy, duplicate, enumerateVariables, equivalence, getName, getTerm, getValue, isConsultNeeded, registerUnboundVariables, registerVariables, requiresCompleteVariableState, toString, unify

Field Detail

LIST_PAIR

static final String LIST_PAIR

See Also:

Constant Field Values

LIST_NULL

static final String LIST_NULL

See Also:

Constant Field Values