org.semanticweb.HermiT.existentials
Class CreationOrderStrategy
java.lang.Object
org.semanticweb.HermiT.existentials.AbstractExpansionStrategy
org.semanticweb.HermiT.existentials.CreationOrderStrategy
- All Implemented Interfaces:
- Serializable, ExistentialExpansionStrategy
public class CreationOrderStrategy
- extends AbstractExpansionStrategy
- implements 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
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 |
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 |
CreationOrderStrategy
public CreationOrderStrategy(BlockingStrategy strategy)
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
Copyright © 2012. All Rights Reserved.