public interface DirectBlockingChecker
void initialize(Tableau tableau)
tableau - tableauvoid clear()
boolean isBlockedBy(Node blocker, Node blocked)
blocker - blockerblocked - blockedint blockingHashCode(Node node)
node - nodeboolean canBeBlocker(Node node)
node - nodeboolean canBeBlocked(Node node)
node - nodeboolean hasBlockingInfoChanged(Node node)
node - nodevoid clearBlockingInfoChanged(Node node)
node - nodeboolean hasChangedSinceValidation(Node node)
node - nodevoid setHasChangedSinceValidation(Node node, boolean hasChanged)
node - nodehasChanged - hasChangedvoid nodeInitialized(Node node)
node - nodevoid nodeDestroyed(Node node)
node - nodeNode assertionAdded(Concept concept, Node node, boolean isCore)
concept - conceptnode - nodeisCore - isCoreNode assertionRemoved(Concept concept, Node node, boolean isCore)
concept - conceptnode - nodeisCore - isCoreNode assertionAdded(DataRange range, Node node, boolean isCore)
range - rangenode - nodeisCore - isCoreNode assertionRemoved(DataRange range, Node node, boolean isCore)
range - rangenode - nodeisCore - isCoreNode assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
atomicRole - atomicRolenodeFrom - nodeFromnodeTo - nodeToisCore - isCoreNode assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
atomicRole - atomicRolenodeFrom - nodeFromnodeTo - nodeToisCore - isCoreNode nodesMerged(Node mergeFrom, Node mergeInto)
mergeFrom - mergeFrommergeInto - mergeIntoNode nodesUnmerged(Node mergeFrom, Node mergeInto)
mergeFrom - mergeFrommergeInto - mergeIntoBlockingSignature getBlockingSignatureFor(Node node)
node - nodeCopyright © 2018. All rights reserved.