Package pipe.gui.widgets

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.