running new experiments

[IRC.git] / Robust / src / Analysis / Disjoint / ReachSet.java

diff --git a/Robust/src/Analysis/Disjoint/ReachSet.java b/Robust/src/Analysis/Disjoint/ReachSet.java
index e7fe5134b9ebc4e1f7f010e3efb7e7c0c7100eeb..10021600de4accfbfb79c59d914bcf9f6a50d5da 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachSet.java
+++ b/Robust/src/Analysis/Disjoint/ReachSet.java
@@ -260,4 +260,16 @@ public class ReachSet extends Canonical {
 
     return s+"]";
   }
+
+  public long numStates() {
+    return reachStates.size();
+  }
+
+  public long numNonzeroTuples() {
+    long n = 0;
+    for( ReachState state: reachStates ) {
+      n += state.numNonzeroTuples();
+    }
+    return n;
+  }
 }