Implemented SkolemTermsManager.

2 files changed, 69 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java b/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
new file mode 100644
index 0000000..3e72748
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
@@ -0,0 +1,44 @@
+package uk.ac.ox.cs.pagoda.util.tuples;
+
+import java.util.ArrayList;
+import java.util.Iterator;
+import java.util.Spliterator;
+import java.util.function.Consumer;
+
+public class Tuple<T> implements Iterable<T> {
+
+    final ArrayList<T> elements = new ArrayList<>();
+
+    Tuple() { }
+
+    public Tuple(T... elements) {
+        for(T t: elements) {
+            this.elements.add(t);
+        }
+    }
+    
+    public Tuple(Iterable<T> iterable) {
+        for (T t : iterable) {
+            this.elements.add(t);
+        }
+    }
+
+    public T get(int i) {
+        return elements.get(i);
+    }
+
+    @Override
+    public Iterator<T> iterator() {
+        return elements.iterator();
+    }
+
+    @Override
+    public void forEach(Consumer<? super T> action) {
+        elements.forEach(action);
+    }
+
+    @Override
+    public Spliterator<T> spliterator() {
+        return elements.spliterator();
+    }
+}
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;
+    }
+}