|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
ConfigurableFeature.getConfiguredElement() back to normal
ConfigurableFeature.getConfiguredElement().
ConfigurableFeature for each feature in this
group where the ConfigurableFeature.getConfiguredElement() is updated according to
copies.
PetrinetEdge to be present or absent in a Petrinet.ConfigurableFeature_UI objects for a given
ConfigurableFeatureConfigurableFeatureGroupConfigurableGraphElementFeatureTransition, Place, and ArcConfigurableIntegerFeatureConfigurableParameter.getId()), a domain that is either given
as discrete enumeration or as a range of values in an interval, and a default value.ConfigurableGraphElementOption.Integer.Place to present or absent in a Petrinet.Place on the initial marking of
a Petrinet.ResetInhibitorNet.ConfigurableGraphElementOption).ConfigurableFeatureGroup.ConfigureFeature_UI object for a
given ConfigurableParameterConfigurableFeatureGroup for configuring a Petri net.ConfigurableGraphElementFeature for configuringConfigurableIntegerFeature for configuring.ConfigurableResetInhibitorNet and clone the
netLayout of net into a new layout of the configurable net.
ConfigurableFeature.getConfiguredElement().
ConfigurableParameter.getValue() (if > 0) and
remove arc from parent (if == 0)
ParameterizedIntegerFeature.getValue() (if > 0) and
remove arc from parent (if == 0)
ConfigurableFeatures into one parameterized feature.ParameterizedFeature ranging over IntegerParameterizedIntegerFeaturePlace in the initial marking
based on an expression.GraphLayoutConnection.setLayedOut(boolean) based on layout information in the net,
i.e., whether all nodes have a proper position.
ConfigurableFeature.getConfiguredElement()
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||