org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DLClauseCompiler
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler
org.semanticweb.HermiT.tableau.DLClauseEvaluator.DLClauseCompiler
- Enclosing class:
- DLClauseEvaluator
protected static final class DLClauseEvaluator.DLClauseCompiler
- extends DLClauseEvaluator.ConjunctionCompiler
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
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)
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)