org.processmining.models.graphbased.directed.petrinet.configurable.elements
Class ConfigurableArc
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<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurableArc
- All Implemented Interfaces:
- ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption>, ParameterizedFeature<ConfigurableParameter<ConfigurableGraphElementOption>>
public class ConfigurableArc
- extends ConfigurableGraphElementFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>>
Configures a PetrinetEdge
to be 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 |
ConfigurableArc
public ConfigurableArc(java.lang.String id,
PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> 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 arc of this configurable feature. If
ConfigurableGraphElementOption.BLOCK
, the arcs is removed,
otherwise the arc remains unchanged.
- Parameters:
parent
- - See Also:
ConfigurableFeature.executeConfiguration(org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurablePetrinet)
cloneFor
public ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption> cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement)
throws InvalidConfigurationException
- Description copied from interface:
ConfigurableFeature
- Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement()
.
- Throws:
InvalidConfigurationException