alice.tuprolog
Class SubGoalStore

java.lang.Object
  extended byalice.tuprolog.SubGoalStore

public class SubGoalStore
extends java.lang.Object


Constructor Summary
SubGoalStore()
           
 
Method Summary
 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)
           
 java.lang.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 java.lang.String toString()

getSubGoals

public SubGoalTree getSubGoals()

getIndexNextSubGoal

public int getIndexNextSubGoal()