Implemented SkolemTermsManager.

1 files changed, 25 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java b/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java
new file mode 100644
index 0000000..aacd15e
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/util/tuples/TupleBuilder.java
@@ -0,0 +1,25 @@
+package uk.ac.ox.cs.pagoda.util.tuples;
+
+/**
+ * Allows to create an immutable <tt>Tuple</tt> in a non-atomic way.
+ * It can create only one <tt>Tuple</tt>.
+ * */
+public class TupleBuilder<T> {
+
+    private Tuple tuple = new Tuple();
+
+    private boolean building = true;
+
+    public boolean add(T t) {
+        if(building) tuple.elements.add(t);
+        return building;
+    }
+
+    public Tuple<T> create() {
+        if(building) {
+            building = false;
+            return tuple;
+        }
+        return null;
+    }
+}