org.semanticweb.HermiT.blocking
Class BlockingValidator.X2YOrY2XConsequenceAtom
java.lang.Object
org.semanticweb.HermiT.blocking.BlockingValidator.X2YOrY2XConsequenceAtom
- All Implemented Interfaces:
- BlockingValidator.ConsequenceAtom
- Enclosing class:
- BlockingValidator
protected static class BlockingValidator.X2YOrY2XConsequenceAtom
- 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_atomicRole
protected final AtomicRole m_atomicRole
m_yArgumentIndex
protected final int m_yArgumentIndex
m_isX2Y
protected final boolean m_isX2Y
BlockingValidator.X2YOrY2XConsequenceAtom
public BlockingValidator.X2YOrY2XConsequenceAtom(AtomicRole atomicRole,
int yArgumentIndex,
boolean isX2Y)
isSatisfied
public boolean isSatisfied(ExtensionManager extensionManager,
BlockingValidator.DLClauseInfo dlClauseInfo,
Node nodeX)
- Specified by:
isSatisfied
in interface BlockingValidator.ConsequenceAtom
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object