org.semanticweb.HermiT.tableau
Class DLClauseEvaluator.DeriveDisjunction

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

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

See Also:
Serialized Form

Field Summary
protected  int[] m_copyIsCore
           
protected  int[] m_copyValuesToArguments
           
protected  boolean[] m_coreVariables
           
protected  DependencySet m_dependencySet
           
protected  GroundDisjunctionHeader m_groundDisjunctionHeader
           
protected  Tableau m_tableau
           
protected  java.lang.Object[] m_valuesBuffer
           
 
Constructor Summary
DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, int[] copyIsCore, int[] copyValuesToArguments)
           
 
Method Summary
 void clear()
           
 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_tableau

protected final Tableau m_tableau

m_valuesBuffer

protected final java.lang.Object[] m_valuesBuffer

m_coreVariables

protected final boolean[] m_coreVariables

m_dependencySet

protected final DependencySet m_dependencySet

m_groundDisjunctionHeader

protected final GroundDisjunctionHeader m_groundDisjunctionHeader

m_copyIsCore

protected final int[] m_copyIsCore

m_copyValuesToArguments

protected final int[] m_copyValuesToArguments
Constructor Detail

DLClauseEvaluator.DeriveDisjunction

public DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer,
                                           boolean[] coreVariables,
                                           DependencySet dependencySet,
                                           Tableau tableau,
                                           GroundDisjunctionHeader groundDisjunctionHeader,
                                           int[] copyIsCore,
                                           int[] copyValuesToArguments)
Method Detail

clear

public void clear()

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