From d0c209780ac209ba20de1ef2ba68551dd3321b3c Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 13 May 2015 16:04:41 +0100
Subject: Implemented SkolemTermsManager.

---
 src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java | 44 +++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java

(limited to 'src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java')

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();
+    }
+}
-- 
cgit v1.2.3