org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DLClauseCompiler
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator.DLClauseCompiler
- Enclosing class:
- DLClauseEvaluator
protected static final class DLClauseEvaluator.DLClauseCompiler
- extends java.lang.Object
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_bufferSupply
protected final DLClauseEvaluator.BufferSupply m_bufferSupply
m_valuesBufferManager
protected final DLClauseEvaluator.ValuesBufferManager m_valuesBufferManager
m_groundDisjunctionHeaderManager
protected final DLClauseEvaluator.GroundDisjunctionHeaderManager m_groundDisjunctionHeaderManager
m_extensionManager
protected final ExtensionManager m_extensionManager
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_variables
protected final java.util.List<Variable> m_variables
m_boundSoFar
protected final java.util.Set<Variable> m_boundSoFar
m_coreVariables
protected final boolean[] m_coreVariables
m_unionDependencySet
protected final UnionDependencySet m_unionDependencySet
m_retrievals
protected final java.util.List<ExtensionTable.Retrieval> m_retrievals
m_workers
protected final java.util.List<DLClauseEvaluator.Worker> m_workers
m_labels
protected final java.util.List<java.lang.Integer> m_labels
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()
getBodyLength
protected int getBodyLength()
getBodyAtom
protected Atom getBodyAtom(int atomIndex)
getHeadLength
protected int getHeadLength(int dlClauseIndex)
getHeadAtom
protected Atom getHeadAtom(int dlClauseIndex,
int atomIndex)
occursInBodyAtomsAfter
protected boolean occursInBodyAtomsAfter(Variable variable,
int startIndex)
compileBodyAtom
protected void compileBodyAtom(int bodyAtomIndex,
int lastAtomNextElement)
compileHeads
protected void compileHeads()
compileCheckUnboundVariableMatches
protected void compileCheckUnboundVariableMatches(Atom atom,
ExtensionTable.Retrieval retrieval,
int jumpIndex)
compileGenerateBindings
protected void compileGenerateBindings(ExtensionTable.Retrieval retrieval,
Atom atom)
addLabel
protected int addLabel()
setLabelProgramCounter
protected void setLabelProgramCounter(int labelID)