exhaustive arity improves for benchmarks with ad=1

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 71be34fb87af768a35f59fbee19d4d2b2455997e..3c1fa8401e14deb42e37e926c465fe6b1d8ae58c 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -46,6 +46,11 @@ public class ReachabilitySet extends Canonical {
     return possibleReachabilities.iterator();
   }
 
+  
+  public int size() {
+    return possibleReachabilities.size();
+  }
+
 
   public boolean contains(TokenTupleSet tts) {
     assert tts != null;
@@ -256,7 +261,8 @@ public class ReachabilitySet extends Canonical {
     int numDimensions = this.possibleReachabilities.size();
 
     if( numDimensions > 10 ) {
-      System.out.println( "exhaustiveArityCombinations numDimensions = "+numDimensions );
+      System.out.println( "    exhaustiveArityCombinations numDimensions = "+numDimensions );
+      System.out.println( this );
     }
 
     // add an extra digit to detect termination
@@ -291,15 +297,15 @@ public class ReachabilitySet extends Canonical {
 
 
        if( i == 11 ) {
-         System.out.print( "x " );
+         System.out.print( "x" );
        }
 
        if( i == 15 ) {
-         System.out.print( "@ " );
+         System.out.print( "@" );
        }
 
        if( i == 17 ) {
-         System.out.print( "# " );
+         System.out.print( "#" );
        }
 
        if( digits[i] > maxArity ) {
@@ -313,6 +319,10 @@ public class ReachabilitySet extends Canonical {
       }
     }
 
+    if( numDimensions > 10 ) {
+      System.out.println( "" );
+    }
+
     return rsOut.makeCanonical();
   }