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.


Inner Class Summary
static class InvariantSet.Test
          Testing.....
 
Constructor Summary
InvariantSet()
           
 
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
 

Constructor Detail

InvariantSet

public InvariantSet()
Method Detail

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()