changes.
[IRC.git] / Robust / src / Analysis / SSJava / NodeTupleSet.java
index eaa0e6e..805a210 100644 (file)
@@ -54,4 +54,8 @@ public class NodeTupleSet {
       }
     }
   }
+
+  public int size() {
+    return list.size();
+  }
 }