1 files changed, 15 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java
new file mode 100644
index 0000000..849b971
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java
@@ -0,0 +1,15 @@
+package uk.ac.ox.cs.pagoda.reasoner.full;
+
+import uk.ac.ox.cs.pagoda.query.AnswerTuple;
+import uk.ac.ox.cs.pagoda.query.AnswerTuples;
+
+public interface Checker {
+
+        public int check(AnswerTuples answers);
+        
+        public boolean check(AnswerTuple answer);
+
+        public boolean isConsistent();
+
+        public void dispose(); 
+}