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

Field Summary

Fields inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableGraphElementFeature

ALL

Constructor Summary

Constructors

Constructor and Description
ConfigurableArc(java.lang.String id, PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element, ConfigurableGraphElementOption[] values, ConfigurableGraphElementOption defaultValue)

Method Summary

Modifier and Type	Method and Description
ConfigurableFeature<PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode>,ConfigurableGraphElementOption>	cloneFor(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> newElement) Create a clone of this feature using newElement as ConfigurableFeature.getConfiguredElement().
void	executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent) Configures the arc of this configurable feature.
boolean	isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)

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.impl.ConfigurableParameterGraphElement

isValidIntervalValue

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

Constructor Detail

ConfigurableArc

public ConfigurableArc(java.lang.String id,
                       PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> element,
                       ConfigurableGraphElementOption[] values,
                       ConfigurableGraphElementOption defaultValue)
                throws InvalidConfigurationException

Throws:

InvalidConfigurationException

Method Detail

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