org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.JumpTo

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

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

See Also:
Serialized Form

Field Summary
protected  int m_jumpTo
           
 
Constructor Summary
DLClauseEvaluator.JumpTo(int jumpTo)
           
 
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_jumpTo

protected int m_jumpTo
Constructor Detail

DLClauseEvaluator.JumpTo

public DLClauseEvaluator.JumpTo(int jumpTo)
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