From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 10 May 2022 18:17:06 +0100
Subject: [pagoda] Move project to Scala

This commit includes a few changes:
- The repository still uses Maven to manage dependency but it is now a
  Scala project.
- The code has been ported from OWLAPI 3.4.10 to 5.1.20
- A proof of concept program using both RSAComb and PAGOdA has been
  added.
---
 src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java | 54 ---------------------------
 1 file changed, 54 deletions(-)
 delete 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
deleted file mode 100644
index 0a5983c..0000000
--- a/src/uk/ac/ox/cs/pagoda/util/tuples/Tuple.java
+++ /dev/null
@@ -1,54 +0,0 @@
-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;
-
-public class Tuple<T> implements Iterable<T> {
-
-    final ArrayList<T> elements = new ArrayList<>();
-
-    Tuple() { }
-
-    @SafeVarargs
-    public Tuple(T... elements) {
-        Collections.addAll(this.elements, elements);
-    }
-    
-    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();
-    }
-
-    @Override
-    public int hashCode() {
-        return elements.hashCode() + getClass().hashCode();
-    }
-
-    @Override
-    public String toString() {
-        return elements.toString();
-    }
-}
-- 
cgit v1.2.3