org.processmining.models.graphbased.directed.petrinet.configurable.elements
Class ConfigurableTransition
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<Transition>
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurableTransition
- All Implemented Interfaces:
- ConfigurableFeature<Transition,ConfigurableGraphElementOption>, ParameterizedFeature<ConfigurableParameter<ConfigurableGraphElementOption>>
public class ConfigurableTransition
- extends ConfigurableGraphElementFeature<Transition>
Configure a transition to be allowed, blocked, or skipped (see
ConfigurableGraphElementOption
).
- 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 |
ConfigurableTransition
public ConfigurableTransition(java.lang.String id,
Transition 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 transition of this configurable feature. If
ConfigurableGraphElementOption.BLOCK
the transitions and its adjacent arcs are
removed, if ConfigurableGraphElementOption.SKIP
, the transition is made
invisible, and if ConfigurableGraphElementOption.ALLOW
, the transition 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<Transition,ConfigurableGraphElementOption> cloneFor(Transition newElement)
throws InvalidConfigurationException
- Description copied from interface:
ConfigurableFeature
- Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement()
.
- Throws:
InvalidConfigurationException