org.semanticweb.HermiT.blocking
Class BlockingValidator.YConstraint

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.BlockingValidator.YConstraint
Enclosing class:
BlockingValidator

protected static class BlockingValidator.YConstraint
extends java.lang.Object


Field Summary
protected  AtomicRole[] m_x2yRoles
           
protected  AtomicRole[] m_y2xRoles
           
protected  AtomicConcept[] m_yConcepts
           
 
Constructor Summary
BlockingValidator.YConstraint(AtomicConcept[] yConcepts, AtomicRole[] x2yRoles, AtomicRole[] y2xRoles)
           
 
Method Summary
 boolean isSatisfiedExplicitly(ExtensionManager extensionManager, Node nodeX, Node nodeY)
           
 boolean isSatisfiedViaMirroringY(ExtensionManager extensionManager, Node nodeX, Node nodeY)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_yConcepts

protected final AtomicConcept[] m_yConcepts

m_x2yRoles

protected final AtomicRole[] m_x2yRoles

m_y2xRoles

protected final AtomicRole[] m_y2xRoles
Constructor Detail

BlockingValidator.YConstraint

public BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
                                     AtomicRole[] x2yRoles,
                                     AtomicRole[] y2xRoles)
Method Detail

isSatisfiedExplicitly

public boolean isSatisfiedExplicitly(ExtensionManager extensionManager,
                                     Node nodeX,
                                     Node nodeY)

isSatisfiedViaMirroringY

public boolean isSatisfiedViaMirroringY(ExtensionManager extensionManager,
                                        Node nodeX,
                                        Node nodeY)