org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DLClauseCompiler

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
      extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.DLClauseCompiler
Enclosing class:
DLClauseEvaluator

protected static final class DLClauseEvaluator.DLClauseCompiler
extends DLClauseEvaluator.ConjunctionCompiler


Field Summary
protected  DLClause m_bodyDLClause
           
protected  boolean[] m_coreVariables
           
protected  DLClauseEvaluator m_dlClauseEvalautor
           
protected  ExistentialExpansionStrategy m_existentialExpansionStrategy
           
protected  DLClauseEvaluator.GroundDisjunctionHeaderManager m_groundDisjunctionHeaderManager
           
protected  java.util.List<DLClause> m_headDLClauses
           
 
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
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize, DLClauseEvaluator dlClauseEvalautor, ExtensionManager extensionManager, ExistentialExpansionStrategy existentialExpansionStrategy, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval)
           
 
Method Summary
protected  void compileHeads()
           
protected  Atom getHeadAtom(int dlClauseIndex, int atomIndex)
           
protected  int getHeadLength(int dlClauseIndex)
           
protected static java.util.List<Variable> getHeadVariables(java.util.List<DLClause> headDLClauses)
           
protected  int getNumberOfHeads()
           
 
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_dlClauseEvalautor

protected final DLClauseEvaluator m_dlClauseEvalautor

m_groundDisjunctionHeaderManager

protected final DLClauseEvaluator.GroundDisjunctionHeaderManager m_groundDisjunctionHeaderManager

m_existentialExpansionStrategy

protected final ExistentialExpansionStrategy m_existentialExpansionStrategy

m_bodyDLClause

protected final DLClause m_bodyDLClause

m_headDLClauses

protected final java.util.List<DLClause> m_headDLClauses

m_coreVariables

protected final boolean[] m_coreVariables
Constructor Detail

DLClauseEvaluator.DLClauseCompiler

public DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply,
                                          DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
                                          DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
                                          java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize,
                                          DLClauseEvaluator dlClauseEvalautor,
                                          ExtensionManager extensionManager,
                                          ExistentialExpansionStrategy existentialExpansionStrategy,
                                          DLClause bodyDLClause,
                                          java.util.List<DLClause> headDLClauses,
                                          ExtensionTable.Retrieval firstAtomRetrieval)
Method Detail

getNumberOfHeads

protected int getNumberOfHeads()

getHeadLength

protected int getHeadLength(int dlClauseIndex)

getHeadAtom

protected Atom getHeadAtom(int dlClauseIndex,
                           int atomIndex)

compileHeads

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

getHeadVariables

protected static java.util.List<Variable> getHeadVariables(java.util.List<DLClause> headDLClauses)