|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface iList
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 |
---|
static final java.lang.String LIST_PAIR
static final java.lang.String LIST_NULL
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |