public class ChoicePointStore
extends java.lang.Object
Constructor and Description |
---|
ChoicePointStore() |
Modifier and Type | Method and Description |
---|---|
void |
add(ChoicePointContext cpc) |
void |
cut(ChoicePointContext pointerAfterCut) |
protected boolean |
existChoicePoint()
Check if a choice point exists in the store.
|
ChoicePointContext |
fetch()
Return the correct choice-point
|
java.util.List<ChoicePointContext> |
getChoicePoints() |
ChoicePointContext |
getPointer()
Return the actual choice-point store
|
protected void |
removeUnusedChoicePoints()
Removes choice points which have been already used and are now empty.
|
java.lang.String |
toString()
Cut at defined depth (toDepth)
|
public void add(ChoicePointContext cpc)
public void cut(ChoicePointContext pointerAfterCut)
public ChoicePointContext fetch()
public ChoicePointContext getPointer()
protected boolean existChoicePoint()
protected void removeUnusedChoicePoints()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<ChoicePointContext> getChoicePoints()