org.semanticweb.HermiT.blocking

Interface DirectBlockingChecker

All Known Implementing Classes:

PairWiseDirectBlockingChecker, SingleDirectBlockingChecker, ValidatedPairwiseDirectBlockingChecker, ValidatedSingleDirectBlockingChecker

public interface DirectBlockingChecker

Direct blocking checker.

Method Summary

Modifier and Type	Method and Description
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() 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)

Parameters:

tableau - tableau

clear

void clear()

Clear.

isBlockedBy

boolean isBlockedBy(Node blocker,
                    Node blocked)

Parameters:

blocker - blocker

blocked - blocked

Returns:

true if blocked

blockingHashCode

int blockingHashCode(Node node)

Parameters:

node - node

Returns:

hash code

canBeBlocker

boolean canBeBlocker(Node node)

Parameters:

node - node

Returns:

true if blocker

canBeBlocked

boolean canBeBlocked(Node node)

Parameters:

node - node

Returns:

true if node is a tree node

hasBlockingInfoChanged

boolean hasBlockingInfoChanged(Node node)

Parameters:

node - node

Returns:

true if blocking info changed

clearBlockingInfoChanged

void clearBlockingInfoChanged(Node node)

Parameters:

node - node

hasChangedSinceValidation

boolean hasChangedSinceValidation(Node node)

Parameters:

node - node

Returns:

true if changed since validation

setHasChangedSinceValidation

void setHasChangedSinceValidation(Node node,
                                  boolean hasChanged)

Parameters:

node - node

hasChanged - hasChanged

nodeInitialized

void nodeInitialized(Node node)

Parameters:

node - node

nodeDestroyed

void nodeDestroyed(Node node)

Parameters:

node - node

assertionAdded

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

Parameters:

concept - concept

node - node

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Parameters:

concept - concept

node - node

isCore - isCore

Returns:

assertion removed

assertionAdded

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

Parameters:

range - range

node - node

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Parameters:

range - range

node - node

isCore - isCore

Returns:

assertion removed

assertionAdded

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

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

Returns:

assertion removed

nodesMerged

Node nodesMerged(Node mergeFrom,
                 Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

Returns:

merged node

nodesUnmerged

Node nodesUnmerged(Node mergeFrom,
                   Node mergeInto)

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

Returns:

unmerged node

getBlockingSignatureFor

BlockingSignature getBlockingSignatureFor(Node node)

Parameters:

node - node

Returns:

blocking signature