org.semanticweb.HermiT.blocking
Class BlockingValidator.DLClauseInfo

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.BlockingValidator.DLClauseInfo
Enclosing class:
BlockingValidator

protected static class BlockingValidator.DLClauseInfo
extends java.lang.Object


Field Summary
protected  BlockingValidator.ConsequenceAtom[] m_consequencesForBlockedX
           
protected  BlockingValidator.ConsequenceAtom[] m_consequencesForNonblockedX
           
protected  DLClause m_dlClause
           
protected  AtomicRole[] m_x2xRoles
           
protected  ExtensionTable.Retrieval[] m_x2yRetrievals
           
protected  AtomicRole[] m_x2yRoles
           
protected  AtomicConcept[] m_xConcepts
           
protected  Node m_xNode
           
protected  ExtensionTable.Retrieval[] m_y2xRetrievals
           
protected  AtomicRole[] m_y2xRoles
           
protected  BlockingValidator.YConstraint[] m_yConstraints
           
protected  Node[] m_yNodes
           
protected  Variable[] m_yVariables
           
protected  AtomicConcept[][] m_zConcepts
           
protected  Node[] m_zNodes
           
protected  ExtensionTable.Retrieval[] m_zRetrievals
           
protected  Variable[] m_zVariables
           
 
Constructor Summary
BlockingValidator.DLClauseInfo(DLClause dlClause, ExtensionManager extensionManager)
           
 
Method Summary
 void clear()
           
protected  int getIndexFor(Variable[] variables, Variable variable)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_xConcepts

protected final AtomicConcept[] m_xConcepts

m_x2xRoles

protected final AtomicRole[] m_x2xRoles

m_yConstraints

protected final BlockingValidator.YConstraint[] m_yConstraints

m_zConcepts

protected final AtomicConcept[][] m_zConcepts

m_x2yRetrievals

protected final ExtensionTable.Retrieval[] m_x2yRetrievals

m_x2yRoles

protected final AtomicRole[] m_x2yRoles

m_y2xRetrievals

protected final ExtensionTable.Retrieval[] m_y2xRetrievals

m_y2xRoles

protected final AtomicRole[] m_y2xRoles

m_zRetrievals

protected final ExtensionTable.Retrieval[] m_zRetrievals

m_consequencesForBlockedX

protected final BlockingValidator.ConsequenceAtom[] m_consequencesForBlockedX

m_consequencesForNonblockedX

protected final BlockingValidator.ConsequenceAtom[] m_consequencesForNonblockedX

m_dlClause

protected final DLClause m_dlClause

m_xNode

protected Node m_xNode

m_yNodes

protected Node[] m_yNodes

m_yVariables

protected Variable[] m_yVariables

m_zNodes

protected Node[] m_zNodes

m_zVariables

protected Variable[] m_zVariables
Constructor Detail

BlockingValidator.DLClauseInfo

public BlockingValidator.DLClauseInfo(DLClause dlClause,
                                      ExtensionManager extensionManager)
Method Detail

clear

public void clear()

getIndexFor

protected int getIndexFor(Variable[] variables,
                          Variable variable)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object