From eeccfb53201479463eeaed51cdc1f0f542297798 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Wed, 4 Mar 2009 18:15:36 +0000
Subject: [PATCH] Add a remove() operation

---
 Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java | 7 +++++++
 1 file changed, 7 insertions(+)

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;
-- 
2.34.1