Package | Description |
---|---|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.settings | |
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Method and Description |
---|---|
GoalChooser |
GoalChooserBuilder.create()
returns a new goal chooser
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
class |
DepthFirstGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
Modifier and Type | Method and Description |
---|---|
GoalChooser |
DefaultGoalChooserBuilder.create() |
GoalChooser |
DepthFirstGoalChooserBuilder.create() |
Constructor and Description |
---|
ApplyStrategy(GoalChooser defaultGoalChooser) |
Modifier and Type | Method and Description |
---|---|
GoalChooser |
StrategySettings.getCustomApplyStrategyGoalChooser()
Returns the customized
GoalChooser which is used in an
ApplyStrategy instance to select the next Goal to
apply a rule on. |
Modifier and Type | Method and Description |
---|---|
void |
StrategySettings.setCustomApplyStrategyGoalChooser(GoalChooser customGoalChooser)
Sets the customized
GoalChooser which is used in an
ApplyStrategy instance to select the next Goal to
apply a rule on. |
Modifier and Type | Class and Description |
---|---|
class |
SymbolicExecutionGoalChooser
This
GoalChooser is a special implementation of the default
DepthFirstGoalChooser . |
Modifier and Type | Method and Description |
---|---|
GoalChooser |
SymbolicExecutionGoalChooserBuilder.create()
returns a new goal chooser
|
Copyright © 2003-2019 The KeY-Project.