org.semanticweb.HermiT.tableau
Class DLClauseEvaluator
java.lang.Object
org.semanticweb.HermiT.tableau.DLClauseEvaluator
- All Implemented Interfaces:
- Serializable
public class DLClauseEvaluator
- extends Object
- implements Serializable
- See Also:
- Serialized Form
CRLF
protected static final 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 List<DLClause> m_headDLClauses
DLClauseEvaluator
public DLClauseEvaluator(Tableau tableau,
DLClause bodyDLClause,
List<DLClause> headDLClauses,
ExtensionTable.Retrieval firstAtomRetrieval,
DLClauseEvaluator.BufferSupply bufferSupply,
DLClauseEvaluator.ValuesBufferManager valuesBufferManager,
DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager,
Map<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 Object[] getTupleMatchedToBody(int atomIndex)
evaluate
public void evaluate()
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.