public interface StrategyFactory extends Named
Modifier and Type | Method and Description |
---|---|
Strategy |
create(Proof proof,
StrategyProperties strategyProperties)
Create strategy for a proof.
|
StrategySettingsDefinition |
getSettingsDefinition()
Returns the
StrategySettingsDefinition which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy instances. |
Strategy create(Proof proof, StrategyProperties strategyProperties)
proof
- the Proof a strategy is created forstrategyProperties
- the StrategyProperties to customize the
strategyStrategySettingsDefinition getSettingsDefinition()
StrategySettingsDefinition
which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy
instances.StrategySettingsDefinition
which describes the user interface.