Uses of Class
dk.brics.bisim.model.LTSModel

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()