alice.tuprolog

Class ChoicePointStore

java.lang.Object

alice.tuprolog.ChoicePointStore

public class ChoicePointStore
extends Object

Constructor Summary

Constructors

Constructor and Description
ChoicePointStore()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ChoicePointContext cpc)
void	clear()
void	cut(ChoicePointContext pointerAfterCut)
protected boolean	existChoicePoint() Check if a choice point exists in the store.
ChoicePointContext	fetch() Return the correct choice-point
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.
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

ChoicePointStore

public ChoicePointStore()

Method Detail

clear

public void clear()

add

public void add(ChoicePointContext cpc)

cut

public void cut(ChoicePointContext pointerAfterCut)

fetch

public ChoicePointContext fetch()

Return the correct choice-point

getPointer

public ChoicePointContext getPointer()

Return the actual choice-point store

Returns:

existChoicePoint

protected boolean existChoicePoint()

Check if a choice point exists in the store. As a side effect, removes choice points which have been already used and are now empty.

Returns:

removeUnusedChoicePoints

protected void removeUnusedChoicePoints()

Removes choice points which have been already used and are now empty.

toString

public String toString()

Cut at defined depth (toDepth)

Overrides:

toString in class Object

getChoicePoints

public List getChoicePoints()