src/uk/ac/ox/cs/pagoda/reasoner/full/Checker.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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 abstract class Checker extends Disposable {

	public abstract int check(AnswerTuples answers);

	public abstract boolean check(AnswerTuple answer);

	public abstract boolean isConsistent();

	public abstract int getNoOfCalls();

}