|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AddFeatureWizard | Line wizard to add a new configurable feature to a feature group. |
| AddFeatureWizardPage | Line wizard page to create a new configurable feature for a feature group. |
| AddFeatureWizardPage.NetElement | |
| ConfigurableFeature_UI<T extends DirectedGraphElement,F> | |
| ConfigurableFeature_UI_Factory | Factory to create specific ConfigurableFeature_UI objects for a given
ConfigurableFeature |
| ConfigurableFeatureGroup_UI | UI for a ConfigurableFeatureGroup |
| ConfigureFeature_UI<F> | Abstract class for a configurable feature. |
| ConfigureFeature_UI_Factory | Factory for creating a specific ConfigureFeature_UI object for a
given ConfigurableParameter |
| ConfigureFeatureGroup_UI | Represents a ConfigurableFeatureGroup for configuring a Petri net. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||