Package dk.brics.bisim.view

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.