|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ParameterizedPlaceMarking | |
---|---|
org.processmining.plugins.petrinet.configurable.ui.impl |
Uses of ParameterizedPlaceMarking in org.processmining.plugins.petrinet.configurable.ui.impl |
---|
Methods in org.processmining.plugins.petrinet.configurable.ui.impl that return ParameterizedPlaceMarking | |
---|---|
ParameterizedPlaceMarking |
ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI.getConfigured()
|
Constructors in org.processmining.plugins.petrinet.configurable.ui.impl with parameters of type ParameterizedPlaceMarking | |
---|---|
ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI(javax.swing.JComponent root,
ParameterizedPlaceMarking feature,
int line_height)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |