| java.lang.Object
 de.uka.ilkd.key.proof.DefaultGoalChooser
All known Subclasses: de.uka.ilkd.key.proof.BalancedLoopGC,
| DefaultGoalChooser | | public class DefaultGoalChooser implements IGoalChooser(Code) | | Helper class for managing a list of goals on which rules are applied.
The class provides methods for removing a goal, and for updating the internal
data structures after a rule has been applied.
|
| Field Summary | |
| protected ListOfGoal | selectedList
Subset of the goals to which currently taclets are applied. |
| selectedList | | protected ListOfGoal selectedList(Code) | | Subset of the goals to which currently taclets are applied. First this
is the list of goals with unsatisfiable constraints, later this is a
subset of the goals having inconsistent constraints
|
| DefaultGoalChooser | | public DefaultGoalChooser()(Code) | | |
| init | | public void init(Proof p_proof, ListOfGoal p_goals)(Code) | | |
| removeGoal | | public void removeGoal(Goal p_goal)(Code) | | |
| rotateList | | protected static ListOfGoal rotateList(ListOfGoal p_list)(Code) | | |
| updateGoalList | | public void updateGoalList(Node node, ListOfGoal newGoals)(Code) | | |
|
|