| Class | Description |
|---|---|
| CADPExportConfigPanel |
Main dialog for CADP export
|
| CADPExportServiceGUI |
CADP Export Service
|
| InitialStatesWidget |
Widget to specify the initial states of each module
|
| LRMInitialStateModel |
Model for the specification of the initial states of the LRMs being composed
|
| ShowNonEditableStringCellRenderer |
Class changing the TableCellRenderer in order to place visually identify
non-editable cells
|
| VisibleComponentsWidget |
Widget to specify the visible components
|
Copyright © 2005–2020. All rights reserved.