|
||||||||||
| 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 | |||||||||