Class Summary |
AboutView |
A panel displaying information and acknowledgements. |
GameView |
The game view. |
GameViewUpperPanel |
The lower panel of a game view. |
GraphFileFilter |
A file filter for the extension .graph |
HelpView |
A panel describing game rules and help. |
LTSPanel |
A panel for displaying a LTS. |
MainView |
The main view class, comprising the options view and the game view. |
Message |
A class containing game status messages. |
OptionsView |
The view for selecting game options. |
SimulatorView |
A panel for the CCS Visualizer and Simulator. |