Package alice.tuprolog

Class ExecutionContext

java.lang.Object

alice.tuprolog.ExecutionContext

public class ExecutionContext
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
Struct	getClause()
Struct	getCurrentGoal()
int	getDepth()
SubGoalId	getFatherGoalId()
Struct	getHeadClause()
int	getId()
SubGoalStore	getSubGoalStore()
java.util.List<java.util.List<Var>>	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()

Overrides:

toString in class java.lang.Object

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<java.util.List<Var>> getTrailingVars()