Package dk.brics.bisimulationGame.view

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.