|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.AbstractCollection
java.util.AbstractSet
LinkedListSet
VariableValueSet
Variables can be constrained by sets of possible values. These are typically small, unchanging sets (although the current implementation doesn't take advantage of that fact).
Field Summary |
Fields inherited from class LinkedListSet |
elements |
Constructor Summary | |
VariableValueSet()
|
Method Summary | |
VariableValueSet |
intersectWith(VariableValueSet other)
Return the VariableValueSet representing the intersection of this VariableValueSet with another one. |
java.lang.String |
toString()
Returns the printable representation of this VariableValueSet as a String (using Lisp list syntax). |
Methods inherited from class LinkedListSet |
add, iterator, size |
Methods inherited from class java.util.AbstractSet |
equals, hashCode, removeAll |
Methods inherited from class java.util.AbstractCollection |
addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Set |
addAll, clear, contains, containsAll, equals, hashCode, isEmpty, remove, removeAll, retainAll, toArray, toArray |
Constructor Detail |
public VariableValueSet()
Method Detail |
public java.lang.String toString()
public VariableValueSet intersectWith(VariableValueSet other)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |