Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Method and Description |
---|---|
StrategySettingsDefinition |
StrategyFactory.getSettingsDefinition()
Returns the
StrategySettingsDefinition which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy instances. |
StrategySettingsDefinition |
FIFOStrategy.Factory.getSettingsDefinition() |
StrategySettingsDefinition |
JavaCardDLStrategyFactory.getSettingsDefinition() |
Modifier and Type | Method and Description |
---|---|
StrategySettingsDefinition |
SymbolicExecutionStrategy.Factory.getSettingsDefinition()
Returns the
StrategySettingsDefinition which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy instances. |
StrategySettingsDefinition |
SimplifyTermStrategy.Factory.getSettingsDefinition()
Returns the
StrategySettingsDefinition which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy instances. |
Copyright © 2003-2019 The KeY-Project.