|
||||||||||
| 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 | |||||||||