| 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. |