Add a remove() operation

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 830c6f87a771c3be1973c2862896295f1ed53736..3698b7485dc9c58ff71b01b1341631e9ef7be8c6 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -158,6 +158,13 @@ public class ReachabilitySet extends Canonical {
     return rsOut.union(this);
   }
 
+  public ReachabilitySet remove(TokenTupleSet tts) {
+    assert tts != null;
+    ReachabilitySet rsOut = new ReachabilitySet(tts);
+    assert rsOut.possibleReachabilities.remove(tts);
+    return rsOut.makeCanonical();
+  }
+
 
   public ChangeTupleSet unionUpArityToChangeSet(ReachabilitySet rsIn) {
     assert rsIn != null;