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)
|
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)