org.semanticweb.HermiT.datalog
Class ConjunctiveQuery.QueryCompiler

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
      extended by org.semanticweb.HermiT.datalog.ConjunctiveQuery.QueryCompiler
Enclosing class:
ConjunctiveQuery

protected static final class ConjunctiveQuery.QueryCompiler
extends DLClauseEvaluator.ConjunctionCompiler


Field Summary
protected  Term[] m_answerTerms
           
protected  ConjunctiveQuery m_conjunctiveQuery
           
protected  java.util.Map<Node,Term> m_nodesToTerms
           
protected  QueryResultCollector[] m_queryResultCollector
           
protected  Term[] m_resultBuffer
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
m_bodyAtoms, m_boundSoFar, m_bufferSupply, m_extensionManager, m_labels, m_retrievals, m_unionDependencySet, m_valuesBufferManager, m_variables, m_workers
 
Constructor Summary
ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery, DLClause queryDLClause, Term[] answerTerms, java.util.Map<Term,Node> termsToNodes, java.util.Map<Node,Term> nodesToTerms, Term[] resultBuffer, QueryResultCollector[] queryResultCollector, ExtensionTable.Retrieval oneEmptyTupleRetrieval)
           
 
Method Summary
protected  void compileHeads()
           
protected static java.util.List<Variable> getAnswerVariables(Term[] answerTerms)
           
 
Methods inherited from class org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
addLabel, compileBodyAtom, compileCheckUnboundVariableMatches, compileGenerateBindings, generateCode, getBodyAtom, getBodyLength, occursInBodyAtomsAfter, setLabelProgramCounter
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_conjunctiveQuery

protected final ConjunctiveQuery m_conjunctiveQuery

m_answerTerms

protected final Term[] m_answerTerms

m_nodesToTerms

protected final java.util.Map<Node,Term> m_nodesToTerms

m_resultBuffer

protected final Term[] m_resultBuffer

m_queryResultCollector

protected final QueryResultCollector[] m_queryResultCollector
Constructor Detail

ConjunctiveQuery.QueryCompiler

public ConjunctiveQuery.QueryCompiler(ConjunctiveQuery conjunctiveQuery,
                                      DLClause queryDLClause,
                                      Term[] answerTerms,
                                      java.util.Map<Term,Node> termsToNodes,
                                      java.util.Map<Node,Term> nodesToTerms,
                                      Term[] resultBuffer,
                                      QueryResultCollector[] queryResultCollector,
                                      ExtensionTable.Retrieval oneEmptyTupleRetrieval)
Method Detail

compileHeads

protected void compileHeads()
Specified by:
compileHeads in class DLClauseEvaluator.ConjunctionCompiler

getAnswerVariables

protected static java.util.List<Variable> getAnswerVariables(Term[] answerTerms)