org.semanticweb.HermiT.blocking
Class ValidatedSingleDirectBlockingChecker

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

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

See Also:
Serialized Form

Nested Class Summary
static interface ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject
           
protected static class ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature
           
 class ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject
           
 
Field Summary
protected  java.util.List<AtomicConcept> m_atomicConceptsBuffer
           
protected  SetFactory<AtomicConcept> m_atomicConceptsSetFactory
           
protected  java.util.List<AtomicRole> m_atomicRolesBuffer
           
protected  SetFactory<AtomicRole> m_atomicRolesSetFactory
           
protected  ExtensionTable.Retrieval m_binaryTableSearch1Bound
           
protected  boolean m_hasInverses
           
protected  Tableau m_tableau
           
protected  ExtensionTable.Retrieval m_ternaryTableSearch12Bound
           
 
Constructor Summary
ValidatedSingleDirectBlockingChecker(boolean hasInverses)
           
 
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, boolean onlyCore)
           
protected  java.util.Set<AtomicRole> fetchAtomicRolesLabel(Node nodeFrom, Node nodeTo, boolean onlyCore)
           
 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_atomicRolesSetFactory

protected final SetFactory<AtomicRole> m_atomicRolesSetFactory

m_atomicConceptsBuffer

protected final java.util.List<AtomicConcept> m_atomicConceptsBuffer

m_atomicRolesBuffer

protected final java.util.List<AtomicRole> m_atomicRolesBuffer

m_hasInverses

protected final boolean m_hasInverses

m_tableau

protected Tableau m_tableau

m_binaryTableSearch1Bound

protected ExtensionTable.Retrieval m_binaryTableSearch1Bound

m_ternaryTableSearch12Bound

protected ExtensionTable.Retrieval m_ternaryTableSearch12Bound
Constructor Detail

ValidatedSingleDirectBlockingChecker

public ValidatedSingleDirectBlockingChecker(boolean hasInverses)
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

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

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

fetchAtomicConceptsLabel

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

fetchAtomicRolesLabel

protected java.util.Set<AtomicRole> fetchAtomicRolesLabel(Node nodeFrom,
                                                          Node nodeTo,
                                                          boolean onlyCore)

getBlockingSignatureFor

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