aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
diff options
context:
space:
mode:
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}