Uses of Class
org.semanticweb.HermiT.blocking.BlockingValidator.DLClauseInfo

Packages that use BlockingValidator.DLClauseInfo
org.semanticweb.HermiT.blocking   
 

Uses of BlockingValidator.DLClauseInfo in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking with type parameters of type BlockingValidator.DLClauseInfo
 java.util.Map<BlockingValidator.DLClauseInfo,Node> BlockingValidator.inValidClausesForBlockedParent
           
 java.util.Map<BlockingValidator.DLClauseInfo,Node> BlockingValidator.inValidClausesForBlocker
           
protected  java.util.List<BlockingValidator.DLClauseInfo> BlockingValidator.m_dlClauseInfos
           
protected  java.util.Map<AtomicConcept,java.util.List<BlockingValidator.DLClauseInfo>> BlockingValidator.m_dlClauseInfosByXConcepts
           
protected  java.util.List<BlockingValidator.DLClauseInfo> BlockingValidator.m_dlClauseInfosWithoutXConcepts
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type BlockingValidator.DLClauseInfo
protected  void BlockingValidator.checkDLClauseForNonblockedX(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX, int toMatchIndex)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX)
           
protected  void BlockingValidator.checkDLClauseForNonblockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo, Node nonblockedX, int toMatchIndexXtoY, int toMatchIndexYtoX)
           
 boolean BlockingValidator.ConsequenceAtom.isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX)
           
 boolean BlockingValidator.SimpleConsequenceAtom.isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 boolean BlockingValidator.X2YOrY2XConsequenceAtom.isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 boolean BlockingValidator.MirroredYConsequenceAtom.isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 boolean BlockingValidator.MirroredYConsequenceAtom.isSatisfiedNonMirrored(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedX(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAndAnyZ(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex, int toMatchIndex)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAndMatchedNodes(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex)
           
protected  boolean BlockingValidator.satisfiesDLClauseForBlockedXAnyZAndAnyY(BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX, int parentOfBlockedXIndex, int toMatchIndexXToY, int toMatchIndexYToX)