org.semanticweb.HermiT.blocking
Class AnywhereValidatedBlocking.ComputeCoreVariables

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

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

See Also:
Serialized Form

Field Summary
protected  boolean[] m_coreVariables
           
protected  DLClause m_dlClause
           
protected  java.lang.Object[] m_valuesBuffer
           
protected  java.util.List<Variable> m_variables
           
 
Constructor Summary
AnywhereValidatedBlocking.ComputeCoreVariables(DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 
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_dlClause

protected final DLClause m_dlClause

m_variables

protected final java.util.List<Variable> m_variables

m_valuesBuffer

protected final java.lang.Object[] m_valuesBuffer

m_coreVariables

protected final boolean[] m_coreVariables
Constructor Detail

AnywhereValidatedBlocking.ComputeCoreVariables

public AnywhereValidatedBlocking.ComputeCoreVariables(DLClause dlClause,
                                                      java.util.List<Variable> variables,
                                                      java.lang.Object[] valuesBuffer,
                                                      boolean[] coreVariables)
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