changes.
[IRC.git] / Robust / src / Util / Lattice.java
index bc024cfad9cd95f58d7b06bea451823bb879915b..76aa706c5131d755b210e200b7bd358987e7bb0e 100644 (file)
@@ -3,6 +3,7 @@ package Util;
 import java.util.HashSet;
 import java.util.Hashtable;
 import java.util.Iterator;
+import java.util.Map;
 import java.util.Set;
 
 public class Lattice<T> {
@@ -34,6 +35,10 @@ public class Lattice<T> {
     return table.keySet();
   }
 
+  public Map<T, Set<T>> getTable() {
+    return table;
+  }
+
   public boolean put(T key) {
     if (table.containsKey(key)) {
       return false;