public class ParameterizedPlaceMarking extends ParameterizedIntegerFeature<Place>
Place
in the initial marking
based on an expression.Constructor and Description |
---|
ParameterizedPlaceMarking(Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
ParameterizedPlaceMarking(java.lang.String id,
Place element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.String expression,
java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters)
Create a new parameterized marking of this place.
|
Modifier and Type | Method and Description |
---|---|
void |
clearElementVisualization()
Clear visual representation of
ConfigurableFeature.getConfiguredElement() back to normal |
ConfigurableFeature<Place,java.lang.Integer> |
cloneFor(Place newElement)
Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement() . |
void |
executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set initial marking of configurable place in its parent net to the
configured value.
|
boolean |
isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
void |
updateElementVisualization()
Change visual representation of
ConfigurableFeature.getConfiguredElement() |
getExpression, getInputParameters, getInputParametersByName, getValue, setInputParameter, setValue, updateValue
getConfiguredElement, getId, getParameter
isValidIntervalValue
getDiscreteDomain, getIntervalMax, getIntervalMin, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, updateParameter
public ParameterizedPlaceMarking(java.lang.String id, Place element, java.lang.Integer min, java.lang.Integer max, java.lang.String expression, java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters) throws InvalidConfigurationException, de.congrace.exp4j.UnknownFunctionException, de.congrace.exp4j.UnparsableExpressionException
id
- element
- min
- max
- expression
- inputParameters
- InvalidConfigurationException
de.congrace.exp4j.UnknownFunctionException
de.congrace.exp4j.UnparsableExpressionException
public ParameterizedPlaceMarking(Place element, java.lang.Integer min, java.lang.Integer max, java.lang.String expression, java.util.List<ConfigurableParameter<java.lang.Integer>> inputParameters) throws InvalidConfigurationException, de.congrace.exp4j.UnknownFunctionException, de.congrace.exp4j.UnparsableExpressionException
element
- min
- max
- expression
- inputParameters
- InvalidConfigurationException
de.congrace.exp4j.UnknownFunctionException
de.congrace.exp4j.UnparsableExpressionException
public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableFeature.getConfiguredElement()
is still an element of parentpublic void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
executeConfiguration
in interface ConfigurableFeature<Place,java.lang.Integer>
executeConfiguration
in class ParameterizedIntegerFeature<Place>
parent
- org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurableFeature#executeConfiguration(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph)
public ConfigurableFeature<Place,java.lang.Integer> cloneFor(Place newElement) throws InvalidConfigurationException
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
.cloneFor
in interface ConfigurableFeature<Place,java.lang.Integer>
cloneFor
in class ParameterizedIntegerFeature<Place>
InvalidConfigurationException
public void updateElementVisualization()
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
public void clearElementVisualization()
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
back to normal