org.semanticweb.HermiT.tableau
Class DLClauseEvaluator

java.lang.Object
  extended by 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

Nested Class Summary
protected static class DLClauseEvaluator.BranchIfNotEqual
           
protected static class DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan
           
protected static class DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual
           
protected static interface DLClauseEvaluator.BranchingWorker
           
static class DLClauseEvaluator.BufferSupply
           
protected static class DLClauseEvaluator.CallMatchFinishedOnMonitor
           
protected static class DLClauseEvaluator.CallMatchStartedOnMonitor
           
protected static class DLClauseEvaluator.CopyDependencySet
           
protected static class DLClauseEvaluator.CopyValues
           
protected static class DLClauseEvaluator.DeriveBinaryFact
           
protected static class DLClauseEvaluator.DeriveDisjunction
           
protected static class DLClauseEvaluator.DeriveTernaryFact
           
protected static class DLClauseEvaluator.DeriveUnaryFact
           
protected static class DLClauseEvaluator.DLClauseCompiler
           
static class DLClauseEvaluator.GroundDisjunctionHeaderManager
           
protected static class DLClauseEvaluator.HasMoreRetrieval
           
protected static class DLClauseEvaluator.JumpTo
           
protected static class DLClauseEvaluator.NextRetrieval
           
protected static class DLClauseEvaluator.OpenRetrieval
           
protected static class DLClauseEvaluator.SetClash
           
static class DLClauseEvaluator.ValuesBufferManager
           
static interface DLClauseEvaluator.Worker
           
 
Field Summary
protected static java.lang.String CRLF
           
protected  DLClause m_bodyDLClause
           
protected  ExtensionManager m_extensionManager
           
protected  java.util.List<DLClause> m_headDLClauses
           
protected  InterruptFlag m_interruptFlag
           
protected  ExtensionTable.Retrieval[] m_retrievals
           
protected  DLClauseEvaluator.Worker[] m_workers
           
 
Constructor Summary
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)
           
 
Method Summary
 void evaluate()
           
 Atom getBodyAtom(int atomIndex)
           
 int getBodyLength()
           
 DLClause getDLClause(int dlClauseIndex)
           
 Atom getHeadAtom(int dlClauseIndex, int atomIndex)
           
 int getHeadLength(int dlClauseIndex)
           
 int getNumberOfDLClauses()
           
 java.lang.Object[] getTupleMatchedToBody(int atomIndex)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

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)
Method Detail

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