public class ParameterizedArc extends ParameterizedIntegerFeature<Arc>
| Constructor and Description |
|---|
ParameterizedArc(Arc 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.
|
ParameterizedArc(java.lang.String id,
Arc 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<Arc,java.lang.Integer> |
cloneFor(Arc newElement)
Create a clone of this feature using newElement as
ConfigurableFeature.getConfiguredElement(). |
void |
executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
Set the weight of the configurable arc to
ParameterizedIntegerFeature.getValue() (if > 0) and
remove arc from parent (if == 0) |
boolean |
isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
void |
updateElementVisualization()
Change visual representation of
ConfigurableFeature.getConfiguredElement() |
getExpression, getInputParameters, getInputParametersByName, getValue, setInputParameter, setValue, updateValuegetConfiguredElement, getId, getParameterisValidIntervalValuegetDiscreteDomain, getIntervalMax, getIntervalMin, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, updateParameterpublic ParameterizedArc(java.lang.String id,
Arc 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 - InvalidConfigurationExceptionde.congrace.exp4j.UnknownFunctionExceptionde.congrace.exp4j.UnparsableExpressionExceptionpublic ParameterizedArc(Arc 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 - InvalidConfigurationExceptionde.congrace.exp4j.UnknownFunctionExceptionde.congrace.exp4j.UnparsableExpressionExceptionpublic boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableFeature.getConfiguredElement() is still an element of parentpublic void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ParameterizedIntegerFeature.getValue() (if > 0) and
remove arc from parent (if == 0)executeConfiguration in interface ConfigurableFeature<Arc,java.lang.Integer>executeConfiguration in class ParameterizedIntegerFeature<Arc>parent - ConfigurableFeature.executeConfiguration(org.processmining.models.graphbased.directed.petrinet.configurable.ConfigurablePetrinet)public ConfigurableFeature<Arc,java.lang.Integer> cloneFor(Arc newElement) throws InvalidConfigurationException
ConfigurableFeatureConfigurableFeature.getConfiguredElement().cloneFor in interface ConfigurableFeature<Arc,java.lang.Integer>cloneFor in class ParameterizedIntegerFeature<Arc>InvalidConfigurationExceptionpublic void updateElementVisualization()
ConfigurableFeatureConfigurableFeature.getConfiguredElement()public void clearElementVisualization()
ConfigurableFeatureConfigurableFeature.getConfiguredElement() back to normal