|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GlobalModel | |
---|---|
dk.brics.bisimulationGame | |
dk.brics.bisimulationGame.model |
Uses of GlobalModel in dk.brics.bisimulationGame |
---|
Fields in dk.brics.bisimulationGame declared as GlobalModel | |
---|---|
private GlobalModel |
BisimulationGame.globalModel
Global model object |
Uses of GlobalModel in dk.brics.bisimulationGame.model |
---|
Classes in dk.brics.bisimulationGame.model that implement GlobalModel | |
---|---|
class |
GlobalModelImpl
Implementation of the GlobalModel. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |