Package | Description |
---|---|
de.uka.ilkd.key.strategy.definition |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<StrategyPropertyValueDefinition> |
OneOfStrategyPropertyDefinition.getValues()
Returns The possible
StrategyPropertyValueDefinition which the user can select. |
Constructor and Description |
---|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
AbstractStrategyPropertyDefinition[] subProperties,
StrategyPropertyValueDefinition... values)
Constructor.
|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
int columnsPerRow,
StrategyPropertyValueDefinition... values)
Constructor.
|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
StrategyPropertyValueDefinition... values)
Constructor.
|
OneOfStrategyPropertyDefinition(java.lang.String apiKey,
java.lang.String name,
java.lang.String tooltip,
int columnsPerRow,
AbstractStrategyPropertyDefinition[] subProperties,
StrategyPropertyValueDefinition... values)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.