Package | Description |
---|---|
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Class and Description |
---|---|
class |
DepthFirstGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
Modifier and Type | Class and Description |
---|---|
class |
SymbolicExecutionGoalChooser
This
GoalChooser is a special implementation of the default
DepthFirstGoalChooser . |
Copyright © 2003-2019 The KeY-Project.