org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DLClauseCompiler

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

protected static final class DLClauseEvaluator.DLClauseCompiler
extends java.lang.Object


Field Summary
protected  DLClause m_bodyDLClause
           
protected  java.util.Set<Variable> m_boundSoFar
           
protected  DLClauseEvaluator.BufferSupply m_bufferSupply
           
protected  boolean[] m_coreVariables
           
protected  DLClauseEvaluator m_dlClauseEvalautor
           
protected  ExistentialExpansionStrategy m_existentialExpansionStrategy
           
protected  ExtensionManager m_extensionManager
           
protected  DLClauseEvaluator.GroundDisjunctionHeaderManager m_groundDisjunctionHeaderManager
           
protected  java.util.List<DLClause> m_headDLClauses
           
protected  java.util.List<java.lang.Integer> m_labels
           
protected  java.util.List<ExtensionTable.Retrieval> m_retrievals
           
protected  UnionDependencySet m_unionDependencySet
           
protected  DLClauseEvaluator.ValuesBufferManager m_valuesBufferManager
           
protected  java.util.List<Variable> m_variables
           
protected  java.util.List<DLClauseEvaluator.Worker> 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  int addLabel()
           
protected  void compileBodyAtom(int bodyAtomIndex, int lastAtomNextElement)
           
protected  void compileCheckUnboundVariableMatches(Atom atom, ExtensionTable.Retrieval retrieval, int jumpIndex)
           
protected  void compileGenerateBindings(ExtensionTable.Retrieval retrieval, Atom atom)
           
protected  void compileHeads()
           
protected  Atom getBodyAtom(int atomIndex)
           
protected  int getBodyLength()
           
protected  Atom getHeadAtom(int dlClauseIndex, int atomIndex)
           
protected  int getHeadLength(int dlClauseIndex)
           
protected  int getNumberOfHeads()
           
protected  boolean occursInBodyAtomsAfter(Variable variable, int startIndex)
           
protected  void setLabelProgramCounter(int labelID)
           
 
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_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
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()

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)