org.semanticweb.HermiT.blocking

Class SingleDirectBlockingChecker

java.lang.Object

org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker

All Implemented Interfaces:

Serializable, DirectBlockingChecker

public class SingleDirectBlockingChecker
extends Object
implements DirectBlockingChecker, Serializable

Single direct blocking checker.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SingleDirectBlockingChecker()

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SingleDirectBlockingChecker

public SingleDirectBlockingChecker()

Method Detail

initialize

public void initialize(Tableau tableau)

Specified by:

initialize in interface DirectBlockingChecker

Parameters:

tableau - tableau

clear

public void clear()

Description copied from interface: DirectBlockingChecker

Clear.

Specified by:

clear in interface DirectBlockingChecker

isBlockedBy

public boolean isBlockedBy(Node blocker,
                           Node blocked)

Specified by:

isBlockedBy in interface DirectBlockingChecker

Parameters:

blocker - blocker

blocked - blocked

Returns:

true if blocked

blockingHashCode

public int blockingHashCode(Node node)

Specified by:

blockingHashCode in interface DirectBlockingChecker

Parameters:

node - node

Returns:

hash code

canBeBlocker

public boolean canBeBlocker(Node node)

Specified by:

canBeBlocker in interface DirectBlockingChecker

Parameters:

node - node

Returns:

true if blocker

canBeBlocked

public boolean canBeBlocked(Node node)

Specified by:

canBeBlocked in interface DirectBlockingChecker

Parameters:

node - node

Returns:

true if node is a tree node

hasBlockingInfoChanged

public boolean hasBlockingInfoChanged(Node node)

Specified by:

hasBlockingInfoChanged in interface DirectBlockingChecker

Parameters:

node - node

Returns:

true if blocking info changed

clearBlockingInfoChanged

public void clearBlockingInfoChanged(Node node)

Specified by:

clearBlockingInfoChanged in interface DirectBlockingChecker

Parameters:

node - node

nodeInitialized

public void nodeInitialized(Node node)

Specified by:

nodeInitialized in interface DirectBlockingChecker

Parameters:

node - node

nodeDestroyed

public void nodeDestroyed(Node node)

Specified by:

nodeDestroyed in interface DirectBlockingChecker

Parameters:

node - node

assertionAdded

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

Specified by:

assertionAdded in interface DirectBlockingChecker

Parameters:

concept - concept

node - node

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Specified by:

assertionRemoved in interface DirectBlockingChecker

Parameters:

concept - concept

node - node

isCore - isCore

Returns:

assertion removed

assertionAdded

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

Specified by:

assertionAdded in interface DirectBlockingChecker

Parameters:

range - range

node - node

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Specified by:

assertionRemoved in interface DirectBlockingChecker

Parameters:

range - range

node - node

isCore - isCore

Returns:

assertion removed

assertionAdded

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

Specified by:

assertionAdded in interface DirectBlockingChecker

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

Returns:

assertion added

assertionRemoved

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

Specified by:

assertionRemoved in interface DirectBlockingChecker

Parameters:

atomicRole - atomicRole

nodeFrom - nodeFrom

nodeTo - nodeTo

isCore - isCore

Returns:

assertion removed

nodesMerged

public Node nodesMerged(Node mergeFrom,
                        Node mergeInto)

Specified by:

nodesMerged in interface DirectBlockingChecker

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

Returns:

merged node

nodesUnmerged

public Node nodesUnmerged(Node mergeFrom,
                          Node mergeInto)

Specified by:

nodesUnmerged in interface DirectBlockingChecker

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

Returns:

unmerged node

getBlockingSignatureFor

public BlockingSignature getBlockingSignatureFor(Node node)

Specified by:

getBlockingSignatureFor in interface DirectBlockingChecker

Parameters:

node - node

Returns:

blocking signature

hasChangedSinceValidation

public boolean hasChangedSinceValidation(Node node)

Specified by:

hasChangedSinceValidation in interface DirectBlockingChecker

Parameters:

node - node

Returns:

true if changed since validation

setHasChangedSinceValidation

public void setHasChangedSinceValidation(Node node,
                                         boolean hasChanged)

Specified by:

setHasChangedSinceValidation in interface DirectBlockingChecker

Parameters:

node - node

hasChanged - hasChanged