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

Packages that use DotModel
dk.brics.bisim   
dk.brics.bisim.model   
 

Uses of DotModel in dk.brics.bisim
 

Fields in dk.brics.bisim declared as DotModel
private  DotModel BisimulationGame.dotModel
           
 

Uses of DotModel in dk.brics.bisim.model
 

Fields in dk.brics.bisim.model declared as DotModel
private  DotModel SimulatorModel.dotModel
           
 

Constructors in dk.brics.bisim.model with parameters of type DotModel
GlobalModelImpl(java.lang.String leftFilePath, java.lang.String rightFilePath, java.lang.String leftFile, java.lang.String rightFile, int role, int bisimulation, DotModel dotModel)
          Constructs a global model.
SimulatorModel(DotModel dotModel)