de.uka.ilkd.key.strategy.definition

Interfaces

• IDefaultStrategyPropertiesFactory

Classes

• AbstractStrategyPropertyDefinition
• OneOfStrategyPropertyDefinition
• StrategyPropertyValueDefinition
• StrategySettingsDefinition