changes.

[IRC.git] / Robust / src / Analysis / SSJava / NodeTupleSet.java

diff --git a/Robust/src/Analysis/SSJava/NodeTupleSet.java b/Robust/src/Analysis/SSJava/NodeTupleSet.java
index eaa0e6e9ae74d51c555d3af6c418b88bcda09a17..805a210d38d610aa99fe82ffda1584180400d1df 100644 (file)
--- 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();
+  }

 }
 }