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 ExecutionContext

    java.lang.Object
      alice.tuprolog.ExecutionContext

public class ExecutionContext
extends java.lang.Object

Author:
  Alex Benini

Method Summary
`Struct` | `getClause()`
`Struct` | `getCurrentGoal()`
`int` | `getDepth()`
`SubGoalId` | `getFatherGoalId()`
`Struct` | `getHeadClause()`
`int` | `getId()`
`SubGoalStore` | `getSubGoalStore()`
`java.util.List` | `getTrailingVars()`
`java.lang.String` | `toString()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

Method Detail

### getId

    public int getId()

### toString

    public java.lang.String toString()

### getDepth

    public int getDepth()

### getCurrentGoal

    public Struct getCurrentGoal()

### getFatherGoalId

    public SubGoalId getFatherGoalId()

### getClause

    public Struct getClause()

### getHeadClause

    public Struct getHeadClause()

### getSubGoalStore

    public SubGoalStore getSubGoalStore()

### getTrailingVars

    public java.util.List getTrailingVars()

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