public class ChoicePointContext extends Object
Constructor and Description |
---|
ChoicePointContext() |
Modifier and Type | Method and Description |
---|---|
ClauseStore |
getCompatibleGoals() |
ExecutionContext |
getExecutionContext() |
SubGoalId |
getIndexBack() |
List<List<Var>> |
getVarsToDeunify() |
String |
toString() |
public ClauseStore getCompatibleGoals()
public ExecutionContext getExecutionContext()
public SubGoalId getIndexBack()