Uses of Package
dk.brics.bisimulationGame.model

Packages that use dk.brics.bisimulationGame.model
dk.brics.bisimulationGame   
dk.brics.bisimulationGame.controller   
dk.brics.bisimulationGame.model   
 

Classes in dk.brics.bisimulationGame.model used by dk.brics.bisimulationGame
GameModel
          A local game model holding two GrappaModels.
GlobalModel
          The remote interface of a global model.
OptionsModel
          Data model for the game options.
UserProperties
          The user-definable properties.
 

Classes in dk.brics.bisimulationGame.model used by dk.brics.bisimulationGame.controller
GameModel
          A local game model holding two GrappaModels.
OptionsModel
          Data model for the game options.
 

Classes in dk.brics.bisimulationGame.model used by dk.brics.bisimulationGame.model
GlobalModel
          The remote interface of a global model.
GrappaModel
          A local data model holding a Grappa graph.