alice.tuprolog

Class ExecutionContext

java.lang.Object

alice.tuprolog.ExecutionContext

public class ExecutionContext
extends Object

Author:

Alex Benini

Method Summary

Methods

Modifier and Type	Method and Description
Struct	getClause()
Struct	getCurrentGoal()
int	getDepth()
SubGoalId	getFatherGoalId()
Struct	getHeadClause()
int	getId()
SubGoalStore	getSubGoalStore()
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 String toString()

Overrides:

toString in class 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()