Uses of Class
dk.brics.bisim.model.GameModel

Packages that use GameModel
dk.brics.bisim   
dk.brics.bisim.controller   
 

Uses of GameModel in dk.brics.bisim
 

Fields in dk.brics.bisim declared as GameModel
private  GameModel BisimulationGame.gameModel
           
 

Uses of GameModel in dk.brics.bisim.controller
 

Fields in dk.brics.bisim.controller declared as GameModel
private  GameModel GameControllerImpl.gameModel
           
private  GameModel AIDefender.gameModel
           
private  GameModel AIAttacker.gameModel
           
 

Constructors in dk.brics.bisim.controller with parameters of type GameModel
AIAttacker(GameModel gameModel, MessagePasser messagePasser)
          Constructs an attacker and builds a strategy for it.
AIDefender(GameModel gameModel, MessagePasser messagePasser)
          Create a defender and, if there isn't a winning strategy, annotate configurations with distances to the losing configuration.
GameControllerImpl(BisimulationGame controller, GameView gameView, GameModel gameModel, int myRole, int clientServerRole, MessagePasser messagePasser)
          Constructs a game controller.