org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DeriveTernaryFact

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

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

See Also:
Serialized Form

Field Summary
protected  int m_argumentIndex1
           
protected  int m_argumentIndex2
           
protected  int m_argumentIndex3
           
protected  DependencySet m_dependencySet
           
protected  DLPredicate m_dlPredicate
           
protected  ExtensionManager m_extensionManager
           
protected  java.lang.Object[] m_valuesBuffer
           
 
Constructor Summary
DLClauseEvaluator.DeriveTernaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex1, int argumentIndex2, int argumentIndex3)
           
 
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_valuesBuffer

protected final java.lang.Object[] m_valuesBuffer

m_dependencySet

protected final DependencySet m_dependencySet

m_dlPredicate

protected final DLPredicate m_dlPredicate

m_argumentIndex1

protected final int m_argumentIndex1

m_argumentIndex2

protected final int m_argumentIndex2

m_argumentIndex3

protected final int m_argumentIndex3
Constructor Detail

DLClauseEvaluator.DeriveTernaryFact

public DLClauseEvaluator.DeriveTernaryFact(ExtensionManager extensionManager,
                                           java.lang.Object[] valuesBuffer,
                                           DependencySet dependencySet,
                                           DLPredicate dlPredicate,
                                           int argumentIndex1,
                                           int argumentIndex2,
                                           int argumentIndex3)
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