org.semanticweb.HermiT.blocking
Class BlockingValidator.YConstraint
java.lang.Object
org.semanticweb.HermiT.blocking.BlockingValidator.YConstraint
- Enclosing class:
- BlockingValidator
protected static class BlockingValidator.YConstraint
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_yConcepts
protected final AtomicConcept[] m_yConcepts
m_x2yRoles
protected final AtomicRole[] m_x2yRoles
m_y2xRoles
protected final AtomicRole[] m_y2xRoles
BlockingValidator.YConstraint
public BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
AtomicRole[] x2yRoles,
AtomicRole[] y2xRoles)
isSatisfiedExplicitly
public boolean isSatisfiedExplicitly(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)
isSatisfiedViaMirroringY
public boolean isSatisfiedViaMirroringY(ExtensionManager extensionManager,
Node nodeX,
Node nodeY)