public class SubGoalStore
extends java.lang.Object
Constructor and Description |
---|
SubGoalStore() |
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
|
DefaultSubGoalId |
getCurSGId() |
boolean |
getFetched() |
int |
getIndexNextSubGoal() |
SubGoalTree |
getSubGoals() |
boolean |
haveSubGoals() |
boolean |
load(SubGoalTree subGoals) |
void |
pushSubGoal(SubGoalTree subGoals) |
java.lang.String |
toString() |
public boolean load(SubGoalTree subGoals)
public void pushSubGoal(SubGoalTree subGoals)
public Term fetch()
public SubGoalId getCurrentGoalId()
public boolean haveSubGoals()
public java.lang.String toString()
toString
in class java.lang.Object
public SubGoalTree getSubGoals()
public int getIndexNextSubGoal()
public boolean getFetched()
public DefaultSubGoalId getCurSGId()