Broadening implementation for reachability in ownership analysis.

[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 3ff84e385a70942a8b792decdf6a74e2c9744599..a78943c9b94c12a59655fb84e406435b1868342b 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
@@ -25,11 +25,13 @@ public class TokenTupleSet {
 
     public TokenTupleSet union( TokenTupleSet ttsIn ) {
        TokenTupleSet ttsOut = new TokenTupleSet( this );
-       //ttsOut.tokenTuples.addAll( ttsIn.tokenTuples );
+       ttsOut.tokenTuples.addAll( ttsIn.tokenTuples );
+       /*
        Iterator i = ttsIn.tokenTuples.iterator();
        while( i.hasNext() ) {
            ttsOut.tokenTuples.add( (TokenTuple) i.next() );
        }
+       */
 
        return ttsOut;
     }