public class ConfigurableParameterGraphElement extends ConfigurableParameter<ConfigurableGraphElementOption>
ConfigurableGraphElementOption.| Constructor and Description |
|---|
ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
isValidIntervalValue(ConfigurableGraphElementOption value) |
getDiscreteDomain, getId, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameterpublic ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue)
throws InvalidConfigurationException
InvalidConfigurationExceptionprotected boolean isValidIntervalValue(ConfigurableGraphElementOption value)
isValidIntervalValue in class ConfigurableParameter<ConfigurableGraphElementOption>