|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |