org.processmining.models.graphbased.directed.petrinet.configurable.elements
Class ConfigurablePlaceMarking
java.lang.Object
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter<java.lang.Integer>
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature<Place>
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ConfigurablePlaceMarking
- All Implemented Interfaces:
- ConfigurableFeature<Place,java.lang.Integer>, ParameterizedFeature<ConfigurableParameter<java.lang.Integer>>
public class ConfigurablePlaceMarking
- extends ConfigurableIntegerFeature<Place>
Configures the number of tokens on a Place
on the initial marking of
a Petrinet
.
- Author:
- dfahland
Constructor Summary |
ConfigurablePlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue)
|
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 |
ConfigurablePlaceMarking
public ConfigurablePlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer 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)
- Set initial marking of configurable place in its parent net to the
configured value.
- Parameters:
parent
- - See Also:
org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableFeature#executeConfiguration(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph)
cloneFor
public ConfigurableFeature<Place,java.lang.Integer> cloneFor(Place newElement)
throws InvalidConfigurationException
- Description copied from interface:
ConfigurableFeature
- Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement()
.
- Throws:
InvalidConfigurationException
updateElementVisualization
public void updateElementVisualization()
- Description copied from interface:
ConfigurableFeature
- Change visual representation of
ConfigurableFeature.getConfiguredElement()
clearElementVisualization
public void clearElementVisualization()
- Description copied from interface:
ConfigurableFeature
- Clear visual representation of
ConfigurableFeature.getConfiguredElement()
back to normal
generateID
public static java.lang.String generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)