Package dk.brics.bisimulationGame.model

Interface Summary
GlobalModel The remote interface of a global model.
 

Class Summary
GameModel A local game model holding two GrappaModels.
GlobalModelImpl Implementation of the GlobalModel.
GrappaModel A local data model holding a Grappa graph.
OptionsModel Data model for the game options.
Protocol Static information for remote method invocation.
UserProperties The user-definable properties.