Package | Description |
---|---|
org.processmining.plugins.petrinet.configurable.ui.impl |
Modifier and Type | Method and Description |
---|---|
ParameterizedPlaceMarking |
ParameterizedIntegerFeature_UI.ParameterizedPlaceMarkingFeature_UI.getConfigured() |
Constructor and Description |
---|
ParameterizedPlaceMarkingFeature_UI(javax.swing.JComponent root,
ParameterizedPlaceMarking feature,
int line_height) |