Set<T> connectedSet = get(higher);
if (connectedSet == null) {
connectedSet = new HashSet<T>();
- }else{
+ } else {
connectedSet.removeAll(lowerSet);
}
connectedSet.add(newLoc);
}
}
+
+
public SSJavaLattice<T> clone() {
SSJavaLattice<T> clone = new SSJavaLattice<T>(getTopItem(), getBottomItem());