public class DepthFirstGoalChooser extends DefaultGoalChooser
DefaultGoalChooser.ProofTreeObserver
allGoalsSatisfiable, currentSubtreeRoot, goalList, nextGoalCounter, nextGoals, proof, selectedList
Constructor and Description |
---|
DepthFirstGoalChooser() |
Modifier and Type | Method and Description |
---|---|
Goal |
getNextGoal() |
protected ImmutableList<Goal> |
insertNewGoals(ImmutableList<Goal> newGoals,
ImmutableList<Goal> prevGoalList) |
protected void |
updateGoalListHelp(Node node,
ImmutableList<Goal> newGoals) |
findMinimalSubtree, findMinimalSubtreeBelow, init, isSatisfiableSubtree, removeClosedGoals, removeGoal, rotateList, setupGoals, updateGoalList
public Goal getNextGoal()
getNextGoal
in interface GoalChooser
getNextGoal
in class DefaultGoalChooser
protected ImmutableList<Goal> insertNewGoals(ImmutableList<Goal> newGoals, ImmutableList<Goal> prevGoalList)
insertNewGoals
in class DefaultGoalChooser
protected void updateGoalListHelp(Node node, ImmutableList<Goal> newGoals)
updateGoalListHelp
in class DefaultGoalChooser