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