alice.tuprolog
Class SubGoalStore
java.lang.Object
alice.tuprolog.SubGoalStore
- public class SubGoalStore
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
SubGoalStore
public SubGoalStore()
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 java.lang.String toString()
getSubGoals
public SubGoalTree getSubGoals()
getIndexNextSubGoal
public int getIndexNextSubGoal()