org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan

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

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

See Also:
Serialized Form

Field Summary
protected  java.lang.Object[] m_buffer
           
protected  int m_index1
           
protected  int m_index2
           
protected  int m_notLessProgramCounter
           
 
Constructor Summary
DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan(int notLessProgramCounter, java.lang.Object[] buffer, int index1, int index2)
           
 
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_notLessProgramCounter

protected int m_notLessProgramCounter

m_buffer

protected final java.lang.Object[] m_buffer

m_index1

protected final int m_index1

m_index2

protected final int m_index2
Constructor Detail

DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan

public DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan(int notLessProgramCounter,
                                                        java.lang.Object[] buffer,
                                                        int index1,
                                                        int index2)
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