org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DeriveUnaryFact

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

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

See Also:
Serialized Form

Field Summary
protected  int m_argumentIndex
           
protected  boolean[] m_coreVariables
           
protected  DependencySet m_dependencySet
           
protected  DLPredicate m_dlPredicate
           
protected  ExtensionManager m_extensionManager
           
protected  java.lang.Object[] m_valuesBuffer
           
 
Constructor Summary
DLClauseEvaluator.DeriveUnaryFact(ExtensionManager extensionManager, java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, DLPredicate dlPredicate, int argumentIndex)
           
 
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_coreVariables

protected final boolean[] m_coreVariables

m_dependencySet

protected final DependencySet m_dependencySet

m_dlPredicate

protected final DLPredicate m_dlPredicate

m_argumentIndex

protected final int m_argumentIndex
Constructor Detail

DLClauseEvaluator.DeriveUnaryFact

public DLClauseEvaluator.DeriveUnaryFact(ExtensionManager extensionManager,
                                         java.lang.Object[] valuesBuffer,
                                         boolean[] coreVariables,
                                         DependencySet dependencySet,
                                         DLPredicate dlPredicate,
                                         int argumentIndex)
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