Package dk.brics.bisim.model

Interface Summary
GlobalModel The remote interface of a global model.
 

Class Summary
DotModel A data model for making dot representations from graph files.
GameModel A local game model holding two GrappaModels.
GlobalModelImpl Implementation of the GlobalModel.
LTSModel A local data model holding a Grappa graph.
OptionsModel Data model for the game options.
Protocol Static information for remote method invocation.
SimulatorModel A data model for the CCS Simulator.
UserProperties The user-definable properties.