|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
GameView | The game view. |
GameViewLowerPanel | The lower panel of a game view. |
GraphFileFilter | A file filter for the extension .graph |
LTSPanel | A panel for displaying a LTS. |
OptionsView | The view for selecting game options. |
View | The main view class, comprising the options view and the game view. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |