Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES