helpful progress reporting

[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 64e1cc405c92031951b4a954015e838b9f3c5324..71be34fb87af768a35f59fbee19d4d2b2455997e 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -255,6 +255,10 @@ public class ReachabilitySet extends Canonical {
 
     int numDimensions = this.possibleReachabilities.size();
 
+    if( numDimensions > 10 ) {
+      System.out.println( "exhaustiveArityCombinations numDimensions = "+numDimensions );
+    }
+
     // add an extra digit to detect termination
     int[] digits = new int[numDimensions+1];
 
@@ -284,6 +288,20 @@ public class ReachabilitySet extends Canonical {
       // increment
       for( int i = 0; i < numDimensions+1; ++i ) {
        digits[i]++;
+
+
+       if( i == 11 ) {
+         System.out.print( "x " );
+       }
+
+       if( i == 15 ) {
+         System.out.print( "@ " );
+       }
+
+       if( i == 17 ) {
+         System.out.print( "# " );
+       }
+
        if( digits[i] > maxArity ) {
          // this axis reached its max, so roll it back to min and increment next higher digit
          digits[i] = minArity;