generate annotated source code again but it's still not the correct one...

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

diff --git a/Robust/src/Analysis/Disjoint/ReachState.java b/Robust/src/Analysis/Disjoint/ReachState.java
index 36897df2e8010aad98841219184a207f22d8e8bd..537a44a01647296e6daebadf477fbaf4ac5f4fc5 100644 (file)
--- a/Robust/src/Analysis/Disjoint/ReachState.java
+++ b/Robust/src/Analysis/Disjoint/ReachState.java
@@ -173,4 +173,9 @@ public class ReachState extends Canonical {
     }
     return toStringPreds();
   }
+
+
+  public long numNonzeroTuples() {
+    return reachTuples.size();
+  }
 }