Class ConfigurableParameterInteger
- java.lang.Object
-
- org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>
-
- org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger
-
- Direct Known Subclasses:
ConfigurableIntegerFeature
public class ConfigurableParameterInteger extends ConfigurableParameter<java.lang.Integer>
A configurable parameter ranging overInteger.- Author:
- dfahland
-
-
Constructor Summary
Constructors Constructor Description ConfigurableParameterInteger(java.lang.String id, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected booleanisValidIntervalValue(java.lang.Integer 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
-
ConfigurableParameterInteger
public ConfigurableParameterInteger(java.lang.String id, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue) throws InvalidConfigurationException- Throws:
InvalidConfigurationException
-
-
Method Detail
-
isValidIntervalValue
protected final boolean isValidIntervalValue(java.lang.Integer value)
- Specified by:
isValidIntervalValuein classConfigurableParameter<java.lang.Integer>
-
-