X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FUtil%2FLattice.java;fp=Robust%2Fsrc%2FUtil%2FLattice.java;h=0418d237b3d7645a3fbf0582fe4d18350cb58098;hp=b76b7bb0185f4ca7ee3fef7031f7792843d99e09;hb=99040b5e3460f3e28210e6b672bc8b46545a775e;hpb=cbc13efe1afc46ef542fde526361b4911d3da0e1

diff --git a/Robust/src/Util/Lattice.java b/Robust/src/Util/Lattice.java
index b76b7bb0..0418d237 100644
--- a/Robust/src/Util/Lattice.java
+++ b/Robust/src/Util/Lattice.java
@@ -66,12 +66,12 @@ public class Lattice<T> {
   }
 
   public boolean put(T key, T value) {
-    
-    if(isGreaterThan(key, value)){
+
+    if (isComparable(key, value) && isGreaterThan(key, value)) {
       // this relation already exists
       return false;
     }
-    
+
     Set<T> s;
 
     Set<T> topNeighbor = table.get(top);
@@ -95,10 +95,9 @@ public class Lattice<T> {
       }
 
       // if value is already connected with top, it is no longer to be
-      if(!key.equals(top)){
-        topNeighbor.remove(value);  
+      if (!key.equals(top)) {
+        topNeighbor.remove(value);
       }
-      
 
       // if key is already connected with bottom,, it is no longer to be
       if (!value.equals(getBottomItem())) {