Uses of Class
dk.brics.bisimulationGame.model.GrappaModel

Packages that use GrappaModel
dk.brics.bisimulationGame.model   
 

Uses of GrappaModel in dk.brics.bisimulationGame.model
 

Fields in dk.brics.bisimulationGame.model declared as GrappaModel
private  GrappaModel GameModel.leftGrappaModel
           
private  GrappaModel GameModel.rightGrappaModel
           
 

Methods in dk.brics.bisimulationGame.model that return GrappaModel
 GrappaModel GameModel.getLeftGrappaModel()
           
 GrappaModel GameModel.getRightGrappaModel()