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>
- Author:
- dfahland
-
-
Constructor Summary
Constructors Constructor Description ConfigurablePlaceMarking(java.lang.String id, Place element, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclearElementVisualization()Clear visual representation ofConfigurableFeature.getConfiguredElement()back to normalConfigurableFeature<Place,java.lang.Integer>cloneFor(Place newElement)Create a clone of this feature using newElement asConfigurableFeature.getConfiguredElement().voidexecuteConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Set initial marking of configurable place in its parent net to the configured value.static java.lang.StringgenerateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)booleanisStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)voidupdateElementVisualization()Change visual representation ofConfigurableFeature.getConfiguredElement()-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature
getConfiguredElement, getId, getInputParameters, getInputParametersByName, getParameter, setInputParameter, updateValue
-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableParameterInteger
isValidIntervalValue
-
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableParameter
getDiscreteDomain, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter
-
-
-
-
Constructor Detail
-
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
-
-
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)
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:ConfigurableFeatureCreate a clone of this feature using newElement asConfigurableFeature.getConfiguredElement().- Throws:
InvalidConfigurationException
-
updateElementVisualization
public void updateElementVisualization()
Description copied from interface:ConfigurableFeatureChange visual representation ofConfigurableFeature.getConfiguredElement()
-
clearElementVisualization
public void clearElementVisualization()
Description copied from interface:ConfigurableFeatureClear visual representation ofConfigurableFeature.getConfiguredElement()back to normal
-
generateID
public static java.lang.String generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)
-
-