org.semanticweb.HermiT.datalog
Class ConjunctiveQuery
java.lang.Object
org.semanticweb.HermiT.datalog.ConjunctiveQuery
public class ConjunctiveQuery
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_datalogEngine
protected final DatalogEngine m_datalogEngine
m_queryAtoms
protected final Atom[] m_queryAtoms
m_answerTerms
protected final Term[] m_answerTerms
m_resultBuffer
protected final Term[] m_resultBuffer
m_firstRetrieval
protected final ConjunctiveQuery.OneEmptyTupleRetrieval m_firstRetrieval
m_queryResultCollector
protected final QueryResultCollector[] m_queryResultCollector
m_workers
protected final DLClauseEvaluator.Worker[] m_workers
ConjunctiveQuery
public ConjunctiveQuery(DatalogEngine datalogEngine,
Atom[] queryAtoms,
Term[] answerTerms)
getDatalogEngine
public DatalogEngine getDatalogEngine()
getNumberOfQUeryAtoms
public int getNumberOfQUeryAtoms()
getQueryAtom
public Atom getQueryAtom(int atomIndex)
getNumberOfAnswerTerms
public int getNumberOfAnswerTerms()
getAnswerTerm
public Term getAnswerTerm(int termIndex)
evaluate
public void evaluate(QueryResultCollector queryResultCollector)