org.semanticweb.HermiT.existentials
Class CreationOrderStrategy

java.lang.Object
  extended by org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
      extended by org.semanticweb.HermiT.existentials.CreationOrderStrategy
All Implemented Interfaces:
java.io.Serializable, ExistentialExpansionStrategy

public class CreationOrderStrategy
extends AbstractExpansionStrategy
implements java.io.Serializable

Strategy for expanding all existentials on the oldest node in the tableau with unexpanded existentials. This usually closely approximates a breadth-first expansion. (Existentials introduced onto parent nodes as a result of constraints on their children can produce newer nodes of lower depth than older nodes, which could result in slight non-breadth-first behavior.)

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
AbstractExpansionStrategy.SatType
 
Field Summary
 
Fields inherited from class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
m_auxiliaryNodes1, m_auxiliaryNodes2, m_blockingStrategy, m_descriptionGraphManager, m_existentialExpansionManager, m_expandNodeAtATime, m_extensionManager, m_interruptFlag, m_processedExistentials, m_tableau, m_ternaryExtensionTableSearch01Bound, m_ternaryExtensionTableSearch02Bound
 
Constructor Summary
CreationOrderStrategy(BlockingStrategy strategy)
           
 
Method Summary
protected  void expandExistential(AtLeast atLeast, Node forNode)
          This method performs the actual expansion.
 boolean isDeterministic()
           
 
Methods inherited from class org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
additionalDLOntologyCleared, additionalDLOntologySet, assertionAdded, assertionAdded, assertionAdded, assertionCoreSet, assertionCoreSet, assertionCoreSet, assertionRemoved, assertionRemoved, assertionRemoved, backtrack, branchingPointPushed, clear, containsSubsetOfNUnequalNodes, dlClauseBodyCompiled, expandExistentials, initialize, isExact, isPermanentSatisfier, isSatisfied, modelFound, nodeDestroyed, nodeInitialized, nodesMerged, nodeStatusChanged, nodesUnmerged
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CreationOrderStrategy

public CreationOrderStrategy(BlockingStrategy strategy)
Method Detail

isDeterministic

public boolean isDeterministic()
Specified by:
isDeterministic in interface ExistentialExpansionStrategy

expandExistential

protected void expandExistential(AtLeast atLeast,
                                 Node forNode)
Description copied from class: AbstractExpansionStrategy
This method performs the actual expansion.

Specified by:
expandExistential in class AbstractExpansionStrategy