Uses of Interface
dk.brics.bisimulationGame.model.GlobalModel

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.