aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-10 18:17:06 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2022-05-11 12:34:47 +0100
commit17bd9beaf7f358a44e5bf36a5855fe6727d506dc (patch)
tree47e9310a0cff869d9ec017dcb2c81876407782c8 /src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
parent8651164cd632a5db310b457ce32d4fbc97bdc41c (diff)
downloadACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.tar.gz
ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.zip
[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.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java10
1 files changed, 0 insertions, 10 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java b/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
deleted file mode 100644
index 777a35c..0000000
--- a/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
+++ /dev/null
@@ -1,10 +0,0 @@
1package uk.ac.ox.cs.pagoda.model;
2
3public abstract class AnswerTerm {
4
5 protected static Trie instances = new Trie();
6 protected static int SkolemCounter = 0;
7 protected static int OriginalCounter = 0;
8
9 public abstract String toString();
10}