|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
public class ConfigurableParameterGraphElement
A configurable parameter ranging over ConfigurableGraphElementOption
.
Constructor Summary | |
---|---|
ConfigurableParameterGraphElement(java.lang.String id,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue)
|
Method Summary | |
---|---|
protected boolean |
isValidIntervalValue(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 |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ConfigurableParameterGraphElement(java.lang.String id, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue) throws InvalidConfigurationException
InvalidConfigurationException
Method Detail |
---|
protected boolean isValidIntervalValue(ConfigurableGraphElementOption value)
isValidIntervalValue
in class ConfigurableParameter<ConfigurableGraphElementOption>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |