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