public class ExecutionContext
extends java.lang.Object
Modifier and Type | Method and 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() |
public int getId()
public java.lang.String toString()
toString
in class java.lang.Object
public int getDepth()
public Struct getCurrentGoal()
public SubGoalId getFatherGoalId()
public Struct getClause()
public Struct getHeadClause()
public SubGoalStore getSubGoalStore()
public java.util.List<java.util.List<Var>> getTrailingVars()