X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Futil%2FTopology.java;h=95cdaac64bc68982d63802ac2bdc9afc3796be0f;hp=2756aae89e6a78582cd68017eb54a1f14b74270f;hb=6b53048f4413f3c618acc3581d0b4f60a236a9bc;hpb=84a4a8204373b996105e69edf91d2f9fae7b4bcb
diff --git a/src/edu/berkeley/sbp/util/Topology.java b/src/edu/berkeley/sbp/util/Topology.java
index 2756aae..95cdaac 100644
--- a/src/edu/berkeley/sbp/util/Topology.java
+++ b/src/edu/berkeley/sbp/util/Topology.java
@@ -10,20 +10,17 @@ import java.lang.ref.*;
/** values inhabiting a topology over V (roughly, infinite sets of V's equipped with union/intersection/complement) */
public interface Topology {
- public void add(Topology t);
- public void add(V t);
- public void remove(Topology t);
- public void remove(V t);
- public Topology dup();
+ public Topology unwrap();
+ public Topology empty();
+
public boolean contains(V v);
- public Topology fresh();
+ public boolean disjoint(Topology t);
+ public boolean containsAll(Topology t);
+ public Topology complement();
public Topology intersect(Topology t);
public Topology minus(Topology t);
public Topology union(Topology t);
- public Topology complement();
- public boolean disjoint(Topology t);
- public boolean containsAll(Topology t);
public abstract int hashCode();
public abstract boolean equals(Object o);