|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GrappaModel | |
---|---|
dk.brics.bisimulationGame.model |
Uses of GrappaModel in dk.brics.bisimulationGame.model |
---|
Fields in dk.brics.bisimulationGame.model declared as GrappaModel | |
---|---|
private GrappaModel |
GameModel.leftGrappaModel
|
private GrappaModel |
GameModel.rightGrappaModel
|
Methods in dk.brics.bisimulationGame.model that return GrappaModel | |
---|---|
GrappaModel |
GameModel.getLeftGrappaModel()
|
GrappaModel |
GameModel.getRightGrappaModel()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |