|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LTSModel | |
---|---|
dk.brics.bisim.model |
Uses of LTSModel in dk.brics.bisim.model |
---|
Fields in dk.brics.bisim.model declared as LTSModel | |
---|---|
private LTSModel |
GameModel.leftLTSModel
|
private LTSModel |
SimulatorModel.ltsModel
|
private LTSModel |
GameModel.rightLTSModel
|
Methods in dk.brics.bisim.model that return LTSModel | |
---|---|
LTSModel |
GameModel.getLeftLTSModel()
|
LTSModel |
SimulatorModel.getLTSModel()
|
LTSModel |
GameModel.getRightLTSModel()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |