org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.BranchIfNotEqual

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

protected static final class DLClauseEvaluator.BranchIfNotEqual
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_notEqualProgramCounter
           
 
Constructor Summary
DLClauseEvaluator.BranchIfNotEqual(int notEqualProgramCounter, 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_notEqualProgramCounter

protected int m_notEqualProgramCounter

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.BranchIfNotEqual

public DLClauseEvaluator.BranchIfNotEqual(int notEqualProgramCounter,
                                          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