org.semanticweb.HermiT.datalog
Class ConjunctiveQuery

java.lang.Object
  extended by org.semanticweb.HermiT.datalog.ConjunctiveQuery

public class ConjunctiveQuery
extends java.lang.Object


Nested Class Summary
protected static class ConjunctiveQuery.OneEmptyTupleRetrieval
           
static class ConjunctiveQuery.QueryAnswerCallback
           
protected static class ConjunctiveQuery.QueryCompiler
           
 
Field Summary
protected  Term[] m_answerTerms
           
protected  DatalogEngine m_datalogEngine
           
protected  ConjunctiveQuery.OneEmptyTupleRetrieval m_firstRetrieval
           
protected  Atom[] m_queryAtoms
           
protected  QueryResultCollector[] m_queryResultCollector
           
protected  Term[] m_resultBuffer
           
protected  DLClauseEvaluator.Worker[] m_workers
           
 
Constructor Summary
ConjunctiveQuery(DatalogEngine datalogEngine, Atom[] queryAtoms, Term[] answerTerms)
           
 
Method Summary
 void evaluate(QueryResultCollector queryResultCollector)
           
 Term getAnswerTerm(int termIndex)
           
 DatalogEngine getDatalogEngine()
           
 int getNumberOfAnswerTerms()
           
 int getNumberOfQUeryAtoms()
           
 Atom getQueryAtom(int atomIndex)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

ConjunctiveQuery

public ConjunctiveQuery(DatalogEngine datalogEngine,
                        Atom[] queryAtoms,
                        Term[] answerTerms)
Method Detail

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)