org.semanticweb.HermiT.blocking
Class BlockingValidator.MirroredYConsequenceAtom
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_atomicConcept
protected final AtomicConcept m_atomicConcept
m_yArgumentIndex
public final int m_yArgumentIndex
BlockingValidator.MirroredYConsequenceAtom
public BlockingValidator.MirroredYConsequenceAtom(AtomicConcept atomicConcept,
int yArgumentIndex)
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