aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
diff options
context:
space:
mode:
authoryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
committeryzhou <yujiao.zhou@gmail.com>2015-04-21 10:34:27 +0100
commit9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 (patch)
tree47511c0fb89dccff0db4b5990522e04f294d795b /src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
parentb1ac207612ee8b045244253fb94b866104bc34f2 (diff)
downloadACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.tar.gz
ACQuA-9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8.zip
initial version
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, 10 insertions, 0 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java b/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
new file mode 100644
index 0000000..777a35c
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/model/AnswerTerm.java
@@ -0,0 +1,10 @@
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}