Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
SubGoalTree |
SubGoalTree.addChild() |
SubGoalTree |
SubGoalTree.copy() |
SubGoalTree |
SubGoalStore.getSubGoals() |
Modifier and Type | Method and Description |
---|---|
boolean |
SubGoalStore.load(SubGoalTree subGoals) |
void |
SubGoalStore.pushSubGoal(SubGoalTree subGoals) |