org.semanticweb.HermiT.blocking
Class SingleDirectBlockingChecker

java.lang.Object
  extended by org.semanticweb.HermiT.blocking.SingleDirectBlockingChecker
All Implemented Interfaces:
java.io.Serializable, DirectBlockingChecker

public class SingleDirectBlockingChecker
extends java.lang.Object
implements DirectBlockingChecker, java.io.Serializable

See Also:
Serialized Form

Nested Class Summary
protected  class SingleDirectBlockingChecker.SingleBlockingObject
           
protected static class SingleDirectBlockingChecker.SingleBlockingSignature
           
 
Field Summary
protected  java.util.List<AtomicConcept> m_atomicConceptsBuffer
           
protected  SetFactory<AtomicConcept> m_atomicConceptsSetFactory
           
protected  ExtensionTable.Retrieval m_binaryTableSearch1Bound
           
protected  Tableau m_tableau
           
 
Constructor Summary
SingleDirectBlockingChecker()
           
 
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)
           
protected  java.util.Set<AtomicConcept> fetchAtomicConceptsLabel(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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_atomicConceptsSetFactory

protected final SetFactory<AtomicConcept> m_atomicConceptsSetFactory

m_atomicConceptsBuffer

protected final java.util.List<AtomicConcept> m_atomicConceptsBuffer

m_tableau

protected Tableau m_tableau

m_binaryTableSearch1Bound

protected ExtensionTable.Retrieval m_binaryTableSearch1Bound
Constructor Detail

SingleDirectBlockingChecker

public SingleDirectBlockingChecker()
Method Detail

initialize

public void initialize(Tableau tableau)
Specified by:
initialize in interface DirectBlockingChecker

clear

public void clear()
Specified by:
clear in interface DirectBlockingChecker

isBlockedBy

public boolean isBlockedBy(Node blocker,
                           Node blocked)
Specified by:
isBlockedBy in interface DirectBlockingChecker

blockingHashCode

public int blockingHashCode(Node node)
Specified by:
blockingHashCode in interface DirectBlockingChecker

canBeBlocker

public boolean canBeBlocker(Node node)
Specified by:
canBeBlocker in interface DirectBlockingChecker

canBeBlocked

public boolean canBeBlocked(Node node)
Specified by:
canBeBlocked in interface DirectBlockingChecker
Returns:
true if node is a tree node

hasBlockingInfoChanged

public boolean hasBlockingInfoChanged(Node node)
Specified by:
hasBlockingInfoChanged in interface DirectBlockingChecker

clearBlockingInfoChanged

public void clearBlockingInfoChanged(Node node)
Specified by:
clearBlockingInfoChanged in interface DirectBlockingChecker

nodeInitialized

public void nodeInitialized(Node node)
Specified by:
nodeInitialized in interface DirectBlockingChecker

nodeDestroyed

public void nodeDestroyed(Node node)
Specified by:
nodeDestroyed in interface DirectBlockingChecker

assertionAdded

public Node assertionAdded(Concept concept,
                           Node node,
                           boolean isCore)
Specified by:
assertionAdded in interface DirectBlockingChecker

assertionRemoved

public Node assertionRemoved(Concept concept,
                             Node node,
                             boolean isCore)
Specified by:
assertionRemoved in interface DirectBlockingChecker

assertionAdded

public Node assertionAdded(DataRange range,
                           Node node,
                           boolean isCore)
Specified by:
assertionAdded in interface DirectBlockingChecker

assertionRemoved

public Node assertionRemoved(DataRange range,
                             Node node,
                             boolean isCore)
Specified by:
assertionRemoved in interface DirectBlockingChecker

assertionAdded

public Node assertionAdded(AtomicRole atomicRole,
                           Node nodeFrom,
                           Node nodeTo,
                           boolean isCore)
Specified by:
assertionAdded in interface DirectBlockingChecker

assertionRemoved

public Node assertionRemoved(AtomicRole atomicRole,
                             Node nodeFrom,
                             Node nodeTo,
                             boolean isCore)
Specified by:
assertionRemoved in interface DirectBlockingChecker

nodesMerged

public Node nodesMerged(Node mergeFrom,
                        Node mergeInto)
Specified by:
nodesMerged in interface DirectBlockingChecker

nodesUnmerged

public Node nodesUnmerged(Node mergeFrom,
                          Node mergeInto)
Specified by:
nodesUnmerged in interface DirectBlockingChecker

getBlockingSignatureFor

public BlockingSignature getBlockingSignatureFor(Node node)
Specified by:
getBlockingSignatureFor in interface DirectBlockingChecker

fetchAtomicConceptsLabel

protected java.util.Set<AtomicConcept> fetchAtomicConceptsLabel(Node node)

hasChangedSinceValidation

public boolean hasChangedSinceValidation(Node node)
Specified by:
hasChangedSinceValidation in interface DirectBlockingChecker

setHasChangedSinceValidation

public void setHasChangedSinceValidation(Node node,
                                         boolean hasChanged)
Specified by:
setHasChangedSinceValidation in interface DirectBlockingChecker