org.semanticweb.HermiT.blocking
Class BlockingValidator.MirroredYConsequenceAtom

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.BlockingValidator.MirroredYConsequenceAtom
All Implemented Interfaces:
BlockingValidator.ConsequenceAtom
Enclosing class:
BlockingValidator

protected static class BlockingValidator.MirroredYConsequenceAtom
extends java.lang.Object
implements BlockingValidator.ConsequenceAtom


Field Summary
protected  AtomicConcept m_atomicConcept
           
 int m_yArgumentIndex
           
 
Constructor Summary
BlockingValidator.MirroredYConsequenceAtom(AtomicConcept atomicConcept, int yArgumentIndex)
           
 
Method Summary
 boolean isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 boolean isSatisfiedNonMirrored(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_atomicConcept

protected final AtomicConcept m_atomicConcept

m_yArgumentIndex

public final int m_yArgumentIndex
Constructor Detail

BlockingValidator.MirroredYConsequenceAtom

public BlockingValidator.MirroredYConsequenceAtom(AtomicConcept atomicConcept,
                                                  int yArgumentIndex)
Method Detail

isSatisfied

public boolean isSatisfied(ExtensionManager extensionManager,
                           BlockingValidator.DLClauseInfo dlClauseInfo,
                           Node nodeX)
Specified by:
isSatisfied in interface BlockingValidator.ConsequenceAtom

isSatisfiedNonMirrored

public boolean isSatisfiedNonMirrored(ExtensionManager extensionManager,
                                      BlockingValidator.DLClauseInfo dlClauseInfo)

toString

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