org.processmining.models.graphbased.directed.petrinet.configurable.elements
Class ConfigurablePlace
java.lang.Object
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<ConfigurableGraphElementOption>
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterGraphElement
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature<Place>
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurablePlace
- All Implemented Interfaces:
- ConfigurableFeature<Place,ConfigurableGraphElementOption>, ParameterizedFeature<ConfigurableParameter<ConfigurableGraphElementOption>>
public class ConfigurablePlace
- extends ConfigurableGraphElementFeature<Place>
Configures a Place
to present or absent in a Petrinet
.
- Author:
- dfahland
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature |
clearElementVisualization, generateID, getConfiguredElement, getId, getInputParameters, getInputParametersByName, isValidValue, sameOptions, setInputParameter, updateElementVisualization, updateValue |
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter |
getDiscreteDomain, 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 |
ConfigurablePlace
public ConfigurablePlace(java.lang.String id,
Place element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue)
throws InvalidConfigurationException
- Throws:
InvalidConfigurationException
isStillExecutable
public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
- Returns:
- true iff this configuration can be executed on the parent, e.g.
if
ConfigurableFeature.getConfiguredElement()
is still an element of parent
executeConfiguration
public void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
- Configures the place of this configurable feature. If
ConfigurablePlaceOptions#REMOVE
the palce and its adjacent arcs
are removed, if ConfigurableGraphElementOption#USE
, the place is
left unchanged.
- Parameters:
parent
- - See Also:
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableFeature#executeConfiguration(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph)
cloneFor
public ConfigurableFeature<Place,ConfigurableGraphElementOption> cloneFor(Place newElement)
throws InvalidConfigurationException
- Description copied from interface:
ConfigurableFeature
- Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement()
.
- Throws:
InvalidConfigurationException