Package | Description |
---|---|
org.processmining.plugins.petrinet.configurable.ui | |
org.processmining.plugins.petrinet.configurable.ui.impl |
Modifier and Type | Field and Description |
---|---|
java.util.List<ConfigureFeature_UI<?>> |
ConfigureFeatureGroup_UI.features_ui |
Modifier and Type | Method and Description |
---|---|
static ConfigureFeature_UI<?> |
ConfigureFeature_UI_Factory.getUIforFeature(java.lang.String label,
ConfigurableParameter<?> feature) |
Modifier and Type | Method and Description |
---|---|
void |
ConfigureFeatureGroup_UI.setValues(ConfigurableFeatureGroup group,
java.util.List<ConfigureFeature_UI<?>> features_ui) |
Modifier and Type | Class and Description |
---|---|
class |
ConfigureGraphElement_UI
UI to represent a
ConfigurableGraphElementFeature for configuring |
class |
ConfigureInteger_UI
UI to represent a
ConfigurableIntegerFeature for configuring. |