alice.tuprolog
Class ExecutionContext

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