org.semanticweb.HermiT.tableau
Class DLClauseEvaluator
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator
- All Implemented Interfaces:
- java.io.Serializable
public class DLClauseEvaluator
- extends java.lang.Object
- implements java.io.Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CRLF
protected static final java.lang.String CRLF
m_interruptFlag
protected final InterruptFlag m_interruptFlag
m_extensionManager
protected final ExtensionManager m_extensionManager
m_retrievals
protected final ExtensionTable.Retrieval[] m_retrievals
m_workers
protected final DLClauseEvaluator.Worker[] m_workers
m_bodyDLClause
protected final DLClause m_bodyDLClause
m_headDLClauses
protected final java.util.List<DLClause> m_headDLClauses
DLClauseEvaluator
public DLClauseEvaluator(Tableau tableau,
DLClause bodyDLClause,
java.util.List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval,
DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize)
getBodyLength
public int getBodyLength()
getBodyAtom
public Atom getBodyAtom(int atomIndex)
getNumberOfDLClauses
public int getNumberOfDLClauses()
getDLClause
public DLClause getDLClause(int dlClauseIndex)
getHeadLength
public int getHeadLength(int dlClauseIndex)
getHeadAtom
public Atom getHeadAtom(int dlClauseIndex,
int atomIndex)
getTupleMatchedToBody
public java.lang.Object[] getTupleMatchedToBody(int atomIndex)
evaluate
public void evaluate()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object