Class ConfigurableParameterGraphElement
- java.lang.Object
-
- org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
-
- org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
-
- Direct Known Subclasses:
ConfigurableGraphElementFeature
public class ConfigurableParameterGraphElement extends ConfigurableParameter<ConfigurableGraphElementOption>
A configurable parameter ranging overConfigurableGraphElementOption.- Author:
- dfahland
-
-
Constructor Summary
Constructors Constructor Description ConfigurableParameterGraphElement(java.lang.String id, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected booleanisValidIntervalValue(ConfigurableGraphElementOption value)-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter
getDiscreteDomain, getId, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter
-
-
-
-
Constructor Detail
-
ConfigurableParameterGraphElement
public ConfigurableParameterGraphElement(java.lang.String id, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue) throws InvalidConfigurationException- Throws:
InvalidConfigurationException
-
-
Method Detail
-
isValidIntervalValue
protected boolean isValidIntervalValue(ConfigurableGraphElementOption value)
- Specified by:
isValidIntervalValuein classConfigurableParameter<ConfigurableGraphElementOption>
-
-