alice.tuprolog

Class SubGoalStore

java.lang.Object

alice.tuprolog.SubGoalStore

public class SubGoalStore
extends Object

Constructor Summary

Constructors

Constructor and Description
SubGoalStore()

Method Summary

Methods

Modifier and Type	Method and Description
Term	backTo(SubGoalId identifier) Ripristina ClauseStore allo stato i-esimo
Term	fetch() Restituisce la clausola da caricare
SubGoalId	getCurrentGoalId() Indice del correntemente in esecuzione
int	getIndexNextSubGoal()
SubGoalTree	getSubGoals()
boolean	haveSubGoals()
boolean	load(SubGoalTree subGoals)
void	pushSubGoal(SubGoalTree subGoals)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SubGoalStore

public SubGoalStore()

Method Detail

load

public boolean load(SubGoalTree subGoals)

backTo

public Term backTo(SubGoalId identifier)

Ripristina ClauseStore allo stato i-esimo

pushSubGoal

public void pushSubGoal(SubGoalTree subGoals)

fetch

public Term fetch()

Restituisce la clausola da caricare

getCurrentGoalId

public SubGoalId getCurrentGoalId()

Indice del correntemente in esecuzione

haveSubGoals

public boolean haveSubGoals()

toString

public String toString()

Overrides:

toString in class Object

getSubGoals

public SubGoalTree getSubGoals()

getIndexNextSubGoal

public int getIndexNextSubGoal()