|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| ButtonBar | ButtonBar object Create one with |
| FileBrowser | |
| GraphFrame | |
| GraphPanel | |
| GraphPanelPane | |
| PetriNetChooserPanel | Makes a filebrowser panel which is a JPanel containing the required stuff |
| ResultsHTMLPane | This class is used by the analysis modules to display the results of their analysis as HTML. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||