public static class SimplifyTermStrategy.Factory extends java.lang.Object implements StrategyFactory
StrategyFactory
to create instances of SimplifyTermStrategy
.Constructor and Description |
---|
Factory() |
Modifier and Type | Method and Description |
---|---|
Strategy |
create(Proof proof,
StrategyProperties sp)
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. |
Name |
name()
returns the name of this element
|
public Strategy create(Proof proof, StrategyProperties sp)
create
in interface StrategyFactory
proof
- the Proof a strategy is created forsp
- the StrategyProperties to customize the
strategypublic Name name()
public StrategySettingsDefinition getSettingsDefinition()
StrategySettingsDefinition
which describes
how an user interface has to look like to edit StrategySettings
supported by created Strategy
instances.getSettingsDefinition
in interface StrategyFactory
StrategySettingsDefinition
which describes the user interface.