Uses of Class
dk.brics.bisimulationGame.view.LTSPanel

Packages that use LTSPanel
dk.brics.bisimulationGame.view   
 

Uses of LTSPanel in dk.brics.bisimulationGame.view
 

Fields in dk.brics.bisimulationGame.view declared as LTSPanel
private  LTSPanel GameView.leftLTSPanel
          A panel for the left LTS.
private  LTSPanel GameView.rightLTSPanel
          A panel for the right LTS.
 

Methods in dk.brics.bisimulationGame.view that return LTSPanel
 LTSPanel GameView.getLeftLTSPanel()
           
 LTSPanel GameView.getRightLTSPanel()