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)
|