Uses of Package
dk.brics.bisim.model

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

Classes in dk.brics.bisim.model used by dk.brics.bisim
DotModel
          A data model for making dot representations from graph files.
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.bisim.model used by dk.brics.bisim.controller
GameModel
          A local game model holding two GrappaModels.
OptionsModel
          Data model for the game options.
SimulatorModel
          A data model for the CCS Simulator.
 

Classes in dk.brics.bisim.model used by dk.brics.bisim.model
DotModel
          A data model for making dot representations from graph files.
GlobalModel
          The remote interface of a global model.
LTSModel
          A local data model holding a Grappa graph.