|
||||||||||
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
ConfigurableFeature
ConfigurableFeatureGroup
ConfigurableGraphElementFeature
Transition
, Place
, and Arc
ConfigurableIntegerFeature
ConfigurableParameter.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 ConfigurableParameter
ConfigurableFeatureGroup
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)
ConfigurableFeature
s into one parameterized feature.ParameterizedFeature
ranging over Integer
ParameterizedIntegerFeature
Place
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 |