org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.SetClash

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

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

See Also:
Serialized Form

Field Summary
protected  DependencySet m_dependencySet
           
protected  ExtensionManager m_extensionManager
           
 
Constructor Summary
DLClauseEvaluator.SetClash(ExtensionManager extensionManager, DependencySet dependencySet)
           
 
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_extensionManager

protected final ExtensionManager m_extensionManager

m_dependencySet

protected final DependencySet m_dependencySet
Constructor Detail

DLClauseEvaluator.SetClash

public DLClauseEvaluator.SetClash(ExtensionManager extensionManager,
                                  DependencySet dependencySet)
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