Package org.processmining.models.graphbased.directed.petrinet.configurable.impl

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 over ConfigurableGraphElementOption.

Author:

dfahland

Constructor Summary

Constructors

Constructor	Description
ConfigurableParameterGraphElement(java.lang.String id, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)

Method Summary

Modifier and Type	Method	Description
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

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:

isValidIntervalValue in class ConfigurableParameter<ConfigurableGraphElementOption>