alice.tuprolog
Class ExecutionContext
java.lang.Object
alice.tuprolog.ExecutionContext
- public class ExecutionContext
- extends java.lang.Object
- Author:
- Alex Benini
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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()