x.f = y now prunes new edge's beta by alpha at x

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / TokenTupleSet.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java b/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
index edd9edccdd105dc098c693038fc346cee253ea77..4bd1a7186e66062f29aa05d29a6aa07f35cdffc5 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
@@ -76,6 +76,11 @@ public class TokenTupleSet extends Canonical {
        return tokenTuples.isEmpty();
     }
 
+    public boolean isSubset( TokenTupleSet ttsIn ) {
+       assert ttsIn != null;
+       return ttsIn.tokenTuples.containsAll( this.tokenTuples );
+    }
+
     public boolean containsTuple( TokenTuple tt ) {
        return tokenTuples.contains( tt );
     }