From: jjenista <jjenista>
Date: Wed, 4 Mar 2009 18:15:36 +0000 (+0000)
Subject: Add a remove() operation
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=eeccfb53201479463eeaed51cdc1f0f542297798;p=IRC.git

Add a remove() operation
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 830c6f87..3698b748 100644
--- 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;