X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FNodeTupleSet.java;h=805a210d38d610aa99fe82ffda1584180400d1df;hp=eaa0e6e9ae74d51c555d3af6c418b88bcda09a17;hb=98bc69de0d44f8c7b7e4ce2e11f398e8a0e0a1e7;hpb=86e56822082c7f2a5b4cf512bab901d3ea17ffa7

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index eaa0e6e9..805a210d 100644
--- a/Robust/src/Analysis/SSJava/NodeTupleSet.java
+++ b/Robust/src/Analysis/SSJava/NodeTupleSet.java
@@ -54,4 +54,8 @@ public class NodeTupleSet {
       }
     }
   }
+
+  public int size() {
+    return list.size();
+  }
 }