org.semanticweb.HermiT.blocking
Class AnywhereBlocking

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

public class AnywhereBlocking
extends java.lang.Object
implements BlockingStrategy, java.io.Serializable

See Also:
Serialized Form

Field Summary
protected  BlockingSignatureCache m_blockingSignatureCache
           
protected  org.semanticweb.HermiT.blocking.BlockersCache m_currentBlockersCache
           
protected  DirectBlockingChecker m_directBlockingChecker
           
protected  Node m_firstChangedNode
           
protected  Tableau m_tableau
           
protected  boolean m_useBlockingSignatureCache
           
 
Constructor Summary
AnywhereBlocking(DirectBlockingChecker directBlockingChecker, BlockingSignatureCache blockingSignatureCache)
           
 
Method Summary
 void additionalDLOntologyCleared()
           
 void additionalDLOntologySet(DLOntology additionalDLOntology)
           
 void assertionAdded(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void assertionAdded(Concept concept, Node node, boolean isCore)
           
 void assertionAdded(DataRange range, Node node, boolean isCore)
           
 void assertionCoreSet(AtomicRole atomicRole, Node nodeFrom, Node nodeTo)
           
 void assertionCoreSet(Concept concept, Node node)
           
 void assertionCoreSet(DataRange range, Node node)
           
 void assertionRemoved(AtomicRole atomicRole, Node nodeFrom, Node nodeTo, boolean isCore)
           
 void assertionRemoved(Concept concept, Node node, boolean isCore)
           
 void assertionRemoved(DataRange range, Node node, boolean isCore)
           
 void clear()
           
 void computeBlocking(boolean finalChance)
           
 void dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers, DLClause dlClause, java.util.List<Variable> variables, java.lang.Object[] valuesBuffer, boolean[] coreVariables)
           
 void initialize(Tableau tableau)
           
 boolean isExact()
           
 boolean isPermanentAssertion(Concept concept, Node node)
           
 boolean isPermanentAssertion(DataRange range, Node node)
           
 void modelFound()
           
 void nodeDestroyed(Node node)
           
 void nodeInitialized(Node node)
           
 void nodesMerged(Node mergeFrom, Node mergeInto)
           
 void nodeStatusChanged(Node node)
           
 void nodesUnmerged(Node mergeFrom, Node mergeInto)
           
protected  void updateBlockingSignatureCacheUsage()
           
protected  void updateNodeChange(Node node)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_directBlockingChecker

protected final DirectBlockingChecker m_directBlockingChecker

m_currentBlockersCache

protected final org.semanticweb.HermiT.blocking.BlockersCache m_currentBlockersCache

m_blockingSignatureCache

protected final BlockingSignatureCache m_blockingSignatureCache

m_tableau

protected Tableau m_tableau

m_useBlockingSignatureCache

protected boolean m_useBlockingSignatureCache

m_firstChangedNode

protected Node m_firstChangedNode
Constructor Detail

AnywhereBlocking

public AnywhereBlocking(DirectBlockingChecker directBlockingChecker,
                        BlockingSignatureCache blockingSignatureCache)
Method Detail

initialize

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

additionalDLOntologySet

public void additionalDLOntologySet(DLOntology additionalDLOntology)
Specified by:
additionalDLOntologySet in interface BlockingStrategy

additionalDLOntologyCleared

public void additionalDLOntologyCleared()
Specified by:
additionalDLOntologyCleared in interface BlockingStrategy

updateBlockingSignatureCacheUsage

protected void updateBlockingSignatureCacheUsage()

clear

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

computeBlocking

public void computeBlocking(boolean finalChance)
Specified by:
computeBlocking in interface BlockingStrategy

isPermanentAssertion

public boolean isPermanentAssertion(Concept concept,
                                    Node node)
Specified by:
isPermanentAssertion in interface BlockingStrategy

isPermanentAssertion

public boolean isPermanentAssertion(DataRange range,
                                    Node node)
Specified by:
isPermanentAssertion in interface BlockingStrategy

assertionAdded

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

assertionCoreSet

public void assertionCoreSet(Concept concept,
                             Node node)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

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

assertionAdded

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

assertionCoreSet

public void assertionCoreSet(DataRange range,
                             Node node)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

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

assertionAdded

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

nodesMerged

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

nodesUnmerged

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

assertionCoreSet

public void assertionCoreSet(AtomicRole atomicRole,
                             Node nodeFrom,
                             Node nodeTo)
Specified by:
assertionCoreSet in interface BlockingStrategy

assertionRemoved

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

nodeStatusChanged

public void nodeStatusChanged(Node node)
Specified by:
nodeStatusChanged in interface BlockingStrategy

updateNodeChange

protected final void updateNodeChange(Node node)

nodeInitialized

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

nodeDestroyed

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

modelFound

public void modelFound()
Specified by:
modelFound in interface BlockingStrategy

isExact

public boolean isExact()
Specified by:
isExact in interface BlockingStrategy

dlClauseBodyCompiled

public void dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
                                 DLClause dlClause,
                                 java.util.List<Variable> variables,
                                 java.lang.Object[] valuesBuffer,
                                 boolean[] coreVariables)
Specified by:
dlClauseBodyCompiled in interface BlockingStrategy