org.processmining.models.graphbased.directed.petrinet.configurable.impl
Class ConfigurableParameterGraphElement

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
      extended by 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
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

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>