org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.HasMoreRetrieval

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.DLClauseEvaluator.HasMoreRetrieval
All Implemented Interfaces:
java.io.Serializable, DLClauseEvaluator.BranchingWorker, DLClauseEvaluator.Worker
Enclosing class:
DLClauseEvaluator

protected static final class DLClauseEvaluator.HasMoreRetrieval
extends java.lang.Object
implements DLClauseEvaluator.BranchingWorker, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  int m_eofProgramCounter
           
protected  ExtensionTable.Retrieval m_retrieval
           
 
Constructor Summary
DLClauseEvaluator.HasMoreRetrieval(int eofProgramCounter, ExtensionTable.Retrieval retrieval)
           
 
Method Summary
 int execute(int programCounter)
           
 int getBranchingAddress()
           
 void setBranchingAddress(int branchingAddress)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_eofProgramCounter

protected int m_eofProgramCounter

m_retrieval

protected final ExtensionTable.Retrieval m_retrieval
Constructor Detail

DLClauseEvaluator.HasMoreRetrieval

public DLClauseEvaluator.HasMoreRetrieval(int eofProgramCounter,
                                          ExtensionTable.Retrieval retrieval)
Method Detail

execute

public int execute(int programCounter)
Specified by:
execute in interface DLClauseEvaluator.Worker

getBranchingAddress

public int getBranchingAddress()
Specified by:
getBranchingAddress in interface DLClauseEvaluator.BranchingWorker

setBranchingAddress

public void setBranchingAddress(int branchingAddress)
Specified by:
setBranchingAddress in interface DLClauseEvaluator.BranchingWorker

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object