|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.existentials.AbstractExpansionStrategy
org.semanticweb.HermiT.existentials.CreationOrderStrategy
public class CreationOrderStrategy
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.)
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 |
---|
public CreationOrderStrategy(BlockingStrategy strategy)
Method Detail |
---|
public boolean isDeterministic()
isDeterministic
in interface ExistentialExpansionStrategy
protected void expandExistential(AtLeast atLeast, Node forNode)
AbstractExpansionStrategy
expandExistential
in class AbstractExpansionStrategy
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |