org.semanticweb.HermiT.blocking
Class BlockingValidator.DLClauseInfo
java.lang.Object
org.semanticweb.HermiT.blocking.BlockingValidator.DLClauseInfo
- Enclosing class:
- BlockingValidator
protected static class BlockingValidator.DLClauseInfo
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
BlockingValidator.DLClauseInfo
public BlockingValidator.DLClauseInfo(DLClause dlClause,
ExtensionManager extensionManager)
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