From b3b822d187a6402a39d30e471fe90a5dfad64312 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 3 Jun 2015 15:21:30 +0100 Subject: Before reintroducing extended queries. --- src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java') 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(); } -- cgit v1.2.3