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