Uses of Interface
alice.tuprolog.SubGoalId

Packages that use SubGoalId

Package	Description
alice.tuprolog

Uses of SubGoalId in alice.tuprolog

Classes in alice.tuprolog that implement SubGoalId

Modifier and Type	Class and Description
class	DefaultSubGoalId Identifier of single subGoal during the demo.

Methods in alice.tuprolog that return SubGoalId

Modifier and Type	Method and Description
SubGoalId	SubGoalStore.getCurrentGoalId() Indice del correntemente in esecuzione
SubGoalId	ExecutionContext.getFatherGoalId()
SubGoalId	ChoicePointContext.getIndexBack()

Methods in alice.tuprolog with parameters of type SubGoalId

Modifier and Type	Method and Description
Term	SubGoalStore.backTo(SubGoalId identifier) Ripristina ClauseStore allo stato i-esimo