Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.strategy.definition | |
de.uka.ilkd.key.symbolic_execution.strategy |
Class and Description |
---|
AbstractStrategyPropertyDefinition
Provides the basic function definition of user interface controls
to edit a single key-value-pair in
StrategyProperties . |
Class and Description |
---|
StrategySettingsDefinition
Instances of this class defines how a user interfaces has to look like which
edits
StrategySettings . |
Class and Description |
---|
AbstractStrategyPropertyDefinition
Provides the basic function definition of user interface controls
to edit a single key-value-pair in
StrategyProperties . |
IDefaultStrategyPropertiesFactory
Instances of this factory are used to create default
StrategyProperties
used by a Strategy defined via its StrategySettingsDefinition . |
StrategyPropertyValueDefinition
Defines a single value a user can select in the user interface control
defined by a
OneOfStrategyPropertyDefinition . |
Class and Description |
---|
IDefaultStrategyPropertiesFactory
Instances of this factory are used to create default
StrategyProperties
used by a Strategy defined via its StrategySettingsDefinition . |
StrategySettingsDefinition
Instances of this class defines how a user interfaces has to look like which
edits
StrategySettings . |
Copyright © 2003-2019 The KeY-Project.