org.semanticweb.HermiT.blocking
Interface BlockingValidator.ConsequenceAtom

All Known Implementing Classes:
BlockingValidator.MirroredYConsequenceAtom, BlockingValidator.SimpleConsequenceAtom, BlockingValidator.X2YOrY2XConsequenceAtom
Enclosing class:
BlockingValidator

protected static interface BlockingValidator.ConsequenceAtom


Method Summary
 boolean isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node blockedX)
           
 

Method Detail

isSatisfied

boolean isSatisfied(ExtensionManager extensionManager,
                    BlockingValidator.DLClauseInfo dlClauseInfo,
                    Node blockedX)