Before reintroducing extended queries.

1 files changed, 6 insertions, 6 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
index 849b971..fd620a5 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java
@@ -2,14 +2,14 @@ package uk.ac.ox.cs.pagoda.reasoner.full;
 
 import uk.ac.ox.cs.pagoda.query.AnswerTuple;
 import uk.ac.ox.cs.pagoda.query.AnswerTuples;
+import uk.ac.ox.cs.pagoda.util.disposable.Disposable;
 
-public interface Checker {
+public abstract class Checker extends Disposable {
 
-        public int check(AnswerTuples answers);
-        
-        public boolean check(AnswerTuple answer);
+        public abstract int check(AnswerTuples answers);
 
-        public boolean isConsistent();
+        public abstract boolean check(AnswerTuple answer);
+
+        public abstract boolean isConsistent();
 
-        public void dispose(); 
 }