|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AnalysisMenu | |
ConversionMenu | |
ExportMenu | |
HelpMenu | Title: |
IconThemeMenu | |
ImportMenu | Title: |
LogReaderMenu | Implementation of a menu for selecting and switching the currently used LogReader (and backend) implementation in a user-friendly manner. |
MineMenu | Title: |
RecentFileMenu | Title: |
SetDotExeMenuItem | A menu item for specifying a custom dot executable to be used for graph layouting within ProM. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |