public class ConfigurableArcWeight extends ConfigurableIntegerFeature<Arc>
Constructor and Description |
---|
ConfigurableArcWeight(java.lang.String id,
Arc element,
java.lang.Integer min,
java.lang.Integer max,
java.lang.Integer defaultValue) |
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
ConfigurableParameter.getValue() (if > 0) and
remove arc from parent (if == 0) |
static java.lang.String |
generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el) |
boolean |
isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) |
void |
updateElementVisualization()
Change visual representation of
ConfigurableFeature.getConfiguredElement() |
getConfiguredElement, getId, getInputParameters, getInputParametersByName, getParameter, setInputParameter, updateValue
isValidIntervalValue
getDiscreteDomain, getIntervalMax, getIntervalMin, getValue, isIntervalDomain, isValidValue, setDiscreteDomain, setId, setIntervalDomain, setValue, updateParameter
public ConfigurableArcWeight(java.lang.String id, Arc element, java.lang.Integer min, java.lang.Integer max, java.lang.Integer defaultValue) throws InvalidConfigurationException
InvalidConfigurationException
public boolean isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableFeature.getConfiguredElement()
is still an element of parentpublic void executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)
ConfigurableParameter.getValue()
(if > 0) and
remove arc from parent (if == 0)public ConfigurableFeature<Arc,java.lang.Integer> cloneFor(Arc newElement) throws InvalidConfigurationException
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
.InvalidConfigurationException
public void updateElementVisualization()
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
public void clearElementVisualization()
ConfigurableFeature
ConfigurableFeature.getConfiguredElement()
back to normalpublic static java.lang.String generateID(org.processmining.models.graphbased.directed.DirectedGraphElement el)