|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.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<T>
org.processmining.models.graphbased.directed.petrinet.configurable.impl.ParameterizedIntegerFeature<Place>
org.processmining.models.graphbased.directed.petrinet.configurable.elements.ParameterizedPlaceMarking
public class ParameterizedPlaceMarking
Configures the number of tokens on a Place
in the initial marking
based on an expression.
Constructor Summary | |
---|---|
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. |
Method Summary | |
---|---|
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() |
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ParameterizedIntegerFeature |
---|
getExpression, getInputParameters, getInputParametersByName, getValue, setInputParameter, setValue, updateValue |
Methods inherited from class org.processmining.models.graphbased.directed.petrinet.configurable.impl.ConfigurableIntegerFeature |
---|
getConfiguredElement, getId, getParameter |
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, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, updateParameter |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
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
Method Detail |
---|
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |