changes.

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

diff --git a/Robust/src/Analysis/SSJava/NTuple.java b/Robust/src/Analysis/SSJava/NTuple.java
index 513d7a507590de95f3270fe804cd1da3e3ce97b5..396b4b72da89af0f7568800d221584e9f2ef93f3 100644 (file)
--- a/Robust/src/Analysis/SSJava/NTuple.java
+++ b/Robust/src/Analysis/SSJava/NTuple.java
@@ -109,4 +109,10 @@ public class NTuple<T> {
     return elements.get(elements.size() - 1);
   }
 
+  public NTuple<T> clone() {
+    NTuple<T> clone = new NTuple<T>();
+    clone.addAll(this);
+    return clone;
+  }
+
 }