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

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(); 
}