Package | Description |
---|---|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.symbolic_execution.profile | |
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Method and Description |
---|---|
GoalChooserBuilder |
Profile.getDefaultGoalChooserBuilder()
returns the default builder for a goal chooser
|
GoalChooserBuilder |
AbstractProfile.getDefaultGoalChooserBuilder()
returns the default builder for a goal chooser
|
GoalChooserBuilder |
Profile.getSelectedGoalChooserBuilder()
returns a new builder instance for the selected goal choooser
|
GoalChooserBuilder |
AbstractProfile.getSelectedGoalChooserBuilder()
returns a copy of the selected goal chooser builder
|
GoalChooserBuilder |
AbstractProfile.lookupGC(java.lang.String name)
looks up the demanded goal chooser is supported and returns a
new instance if possible otherwise
null is returned |
Modifier and Type | Method and Description |
---|---|
protected ImmutableSet<GoalChooserBuilder> |
AbstractProfile.computeSupportedGoalChooserBuilder() |
Modifier and Type | Method and Description |
---|---|
GoalChooserBuilder |
GoalChooserBuilder.copy()
returns a clone of this goal chooser
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultGoalChooserBuilder
creates the default goal chooser used in KeY
|
class |
DepthFirstGoalChooserBuilder |
Modifier and Type | Method and Description |
---|---|
GoalChooserBuilder |
DefaultGoalChooserBuilder.copy() |
GoalChooserBuilder |
DepthFirstGoalChooserBuilder.copy() |
Modifier and Type | Method and Description |
---|---|
protected ImmutableSet<GoalChooserBuilder> |
SymbolicExecutionJavaProfile.computeSupportedGoalChooserBuilder() |
Modifier and Type | Class and Description |
---|---|
class |
SymbolicExecutionGoalChooserBuilder
This
GoalChooserBuilder creates a special GoalChooser
for symbolic execution. |
Modifier and Type | Method and Description |
---|---|
GoalChooserBuilder |
SymbolicExecutionGoalChooserBuilder.copy()
returns a clone of this goal chooser
|
Copyright © 2003-2019 The KeY-Project.