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 java.lang.String LIST_NULL
           
static java.lang.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 java.lang.String LIST_PAIR
See Also:
Constant Field Values

LIST_NULL

static final java.lang.String LIST_NULL
See Also:
Constant Field Values