Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog
Class SubGoalStore

    java.lang.Object
      alice.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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD