|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.AbstractCollection
java.util.AbstractList
java.util.ArrayList
Expression
Expressions are ordered sequences of Symbols, Variables, and sub-Expressions (i.e., Unifiables).
Nested Class Summary |
Nested classes inherited from class java.util.AbstractList |
|
Field Summary |
Fields inherited from class java.util.ArrayList |
|
Fields inherited from class java.util.AbstractList |
modCount |
Constructor Summary | |
(package private) |
Expression()
|
Method Summary | |
boolean |
add(java.lang.Object x)
Adds the given Unifiable to this Expression (at the end). |
Unifiable |
copyWithBindings(BindingSet bindings)
Returns a new Expression which is a copy of this one with the given bindings applied. |
java.lang.String |
toString()
Returns the printable representation of this Expression as a String (using Lisp list syntax). |
boolean |
unifyWith(Unifiable other,
BindingSet bindings)
Try to unify this Expression with another Unifiable. |
Methods inherited from class java.util.ArrayList |
add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, removeRange, set, size, toArray, toArray, trimToSize |
Methods inherited from class java.util.AbstractList |
equals, hashCode, iterator, listIterator, listIterator, subList |
Methods inherited from class java.util.AbstractCollection |
containsAll, remove, removeAll, retainAll |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.List |
add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray |
Constructor Detail |
Expression()
Method Detail |
public boolean add(java.lang.Object x)
add
in interface java.util.List
public java.lang.String toString()
public boolean unifyWith(Unifiable other, BindingSet bindings)
unifyWith
in interface Unifiable
public Unifiable copyWithBindings(BindingSet bindings)
copyWithBindings
in interface Unifiable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |