|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.ChoicePointStore
Constructor Summary | |
ChoicePointStore()
|
Method Summary | |
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 |
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) |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ChoicePointStore()
Method Detail |
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()
public java.util.List getChoicePoints()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |