import java.util.HashSet;
import java.util.Hashtable;
import java.util.Iterator;
+import java.util.Map;
import java.util.Set;
public class Lattice<T> {
this.bottom = bottom;
table.put(top, new HashSet<T>());
+ table.put(bottom, new HashSet<T>());
}
return table.keySet();
}
+ public Map<T, Set<T>> getTable() {
+ return table;
+ }
+
public boolean put(T key) {
if (table.containsKey(key)) {
return false;
size++;
s.add(value);
- if (!table.containsKey(value)) {
+ if ((!table.containsKey(value)) && (!value.equals(bottom))) {
Set<T> lowerNeighbor = new HashSet<T>();
lowerNeighbor.add(bottom);
table.put(value, lowerNeighbor);
public boolean isGreaterThan(T a, T b) {
+ Set<T> visited = new HashSet<T>();
+ return isGreaterThan(a, b, visited);
+
+ }
+
+ public boolean isGreaterThan(T a, T b, Set<T> visited) {
+
if (a.equals(b)) {
return false;
}
boolean reachable = false;
for (Iterator<T> iterator = neighborSet.iterator(); iterator.hasNext();) {
T neighbor = iterator.next();
- reachable = reachable || isGreaterThan(neighbor, b);
+ if (!visited.contains(neighbor)) {
+ visited.add(neighbor);
+ reachable = reachable || isGreaterThan(neighbor, b, visited);
+ }
}
return reachable;
}