From b0148d89a76b8fcbeb2e021442842e4e89690ef3 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Thu, 4 Jun 2015 18:27:28 +0100
Subject: Fixed terms' depth count in SkolemTermsManager (it was always zero).

---
 src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(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
index 3e72748..9139a5d 100644
--- a/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
+++ b/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
@@ -1,6 +1,7 @@
 package uk.ac.ox.cs.pagoda.util.tuples;
 
 import java.util.ArrayList;
+import java.util.Collections;
 import java.util.Iterator;
 import java.util.Spliterator;
 import java.util.function.Consumer;
@@ -11,10 +12,9 @@ public class Tuple<T> implements Iterable<T> {
 
     Tuple() { }
 
+    @SafeVarargs
     public Tuple(T... elements) {
-        for(T t: elements) {
-            this.elements.add(t);
-        }
+        Collections.addAll(this.elements, elements);
     }
     
     public Tuple(Iterable<T> iterable) {
@@ -41,4 +41,9 @@ public class Tuple<T> implements Iterable<T> {
     public Spliterator<T> spliterator() {
         return elements.spliterator();
     }
+
+    @Override
+    public int hashCode() {
+        return elements.hashCode() + getClass().hashCode();
+    }
 }
-- 
cgit v1.2.3