org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.CallMatchFinishedOnMonitor

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

protected static final class DLClauseEvaluator.CallMatchFinishedOnMonitor
extends java.lang.Object
implements DLClauseEvaluator.Worker, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  DLClauseEvaluator m_dlClauseEvaluator
           
protected  int m_dlClauseIndex
           
protected  TableauMonitor m_tableauMonitor
           
 
Constructor Summary
DLClauseEvaluator.CallMatchFinishedOnMonitor(TableauMonitor tableauMonitor, DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 
Method Summary
 int execute(int programCounter)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_tableauMonitor

protected final TableauMonitor m_tableauMonitor

m_dlClauseEvaluator

protected final DLClauseEvaluator m_dlClauseEvaluator

m_dlClauseIndex

protected final int m_dlClauseIndex
Constructor Detail

DLClauseEvaluator.CallMatchFinishedOnMonitor

public DLClauseEvaluator.CallMatchFinishedOnMonitor(TableauMonitor tableauMonitor,
                                                    DLClauseEvaluator dlClauseEvaluator,
                                                    int dlClauseIndex)
Method Detail

execute

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

toString

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