org.semanticweb.HermiT.blocking
Class BlockingValidator.X2YOrY2XConsequenceAtom

java.lang.Object
  extended by 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


Field Summary
protected  AtomicRole m_atomicRole
           
protected  boolean m_isX2Y
           
protected  int m_yArgumentIndex
           
 
Constructor Summary
BlockingValidator.X2YOrY2XConsequenceAtom(AtomicRole atomicRole, int yArgumentIndex, boolean isX2Y)
           
 
Method Summary
 boolean isSatisfied(ExtensionManager extensionManager, BlockingValidator.DLClauseInfo dlClauseInfo, Node nodeX)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_atomicRole

protected final AtomicRole m_atomicRole

m_yArgumentIndex

protected final int m_yArgumentIndex

m_isX2Y

protected final boolean m_isX2Y
Constructor Detail

BlockingValidator.X2YOrY2XConsequenceAtom

public BlockingValidator.X2YOrY2XConsequenceAtom(AtomicRole atomicRole,
                                                 int yArgumentIndex,
                                                 boolean isX2Y)
Method Detail

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