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