org.semanticweb.HermiT.blocking
Interface DirectBlockingChecker

All Known Implementing Classes:
PairWiseDirectBlockingChecker, SingleDirectBlockingChecker, ValidatedPairwiseDirectBlockingChecker, ValidatedSingleDirectBlockingChecker

public interface DirectBlockingChecker


Method Summary
 Node assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node assertionAdded(Concept concept, Node node, boolean isCore)
           
 Node assertionAdded(DataRange range, Node node, boolean isCore)
           
 Node assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 Node assertionRemoved(Concept concept, Node node, boolean isCore)
           
 Node assertionRemoved(DataRange range, Node node, boolean isCore)
           
 int blockingHashCode(Node node)
           
 boolean canBeBlocked(Node node)
           
 boolean canBeBlocker(Node node)
           
 void clear()
           
 void clearBlockingInfoChanged(Node node)
           
 BlockingSignature getBlockingSignatureFor(Node node)
           
 boolean hasBlockingInfoChanged(Node node)
           
 boolean hasChangedSinceValidation(Node node)
           
 void initialize(Tableau tableau)
           
 boolean isBlockedBy(Node blocker, Node blocked)
           
 void nodeDestroyed(Node node)
           
 void nodeInitialized(Node node)
           
 Node nodesMerged(Node mergeFrom, Node mergeInto)
           
 Node nodesUnmerged(Node mergeFrom, Node mergeInto)
           
 void setHasChangedSinceValidation(Node node, boolean hasChanged)
           
 

Method Detail

initialize

void initialize(Tableau tableau)

clear

void clear()

isBlockedBy

boolean isBlockedBy(Node blocker,
                    Node blocked)

blockingHashCode

int blockingHashCode(Node node)

canBeBlocker

boolean canBeBlocker(Node node)

canBeBlocked

boolean canBeBlocked(Node node)
Parameters:
node -
Returns:
true if node is a tree node

hasBlockingInfoChanged

boolean hasBlockingInfoChanged(Node node)

clearBlockingInfoChanged

void clearBlockingInfoChanged(Node node)

hasChangedSinceValidation

boolean hasChangedSinceValidation(Node node)

setHasChangedSinceValidation

void setHasChangedSinceValidation(Node node,
                                  boolean hasChanged)

nodeInitialized

void nodeInitialized(Node node)

nodeDestroyed

void nodeDestroyed(Node node)

assertionAdded

Node assertionAdded(Concept concept,
                    Node node,
                    boolean isCore)

assertionRemoved

Node assertionRemoved(Concept concept,
                      Node node,
                      boolean isCore)

assertionAdded

Node assertionAdded(DataRange range,
                    Node node,
                    boolean isCore)

assertionRemoved

Node assertionRemoved(DataRange range,
                      Node node,
                      boolean isCore)

assertionAdded

Node assertionAdded(AtomicRole atomicRole,
                    Node nodeFrom,
                    Node nodeTo,
                    boolean isCore)

assertionRemoved

Node assertionRemoved(AtomicRole atomicRole,
                      Node nodeFrom,
                      Node nodeTo,
                      boolean isCore)

nodesMerged

Node nodesMerged(Node mergeFrom,
                 Node mergeInto)

nodesUnmerged

Node nodesUnmerged(Node mergeFrom,
                   Node mergeInto)

getBlockingSignatureFor

BlockingSignature getBlockingSignatureFor(Node node)