graph
Class InvariantSet
java.lang.Object
|
+--graph.InvariantSet
- public class InvariantSet
- extends java.lang.Object
Keeps track of a collection of Invariant objects with a hashtable.
Method Summary |
void |
add(Invariant inv)
Adds the invariant. |
boolean |
contains(Invariant inv)
return true if there is an isomorphic invariant in H. |
java.util.Collection |
get(java.lang.Long hash)
The values for a given key |
java.util.Set |
keySet()
The key set for the invariants. |
int |
size()
|
java.util.Collection |
values()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InvariantSet
public InvariantSet()
contains
public boolean contains(Invariant inv)
- return true if there is an isomorphic invariant in H.
keySet
public java.util.Set keySet()
- The key set for the invariants.
get
public java.util.Collection get(java.lang.Long hash)
- The values for a given key
add
public void add(Invariant inv)
- Adds the invariant. Duplicate entries are possible.
size
public int size()
values
public java.util.Collection values()