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

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.