|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OptionsModel | |
---|---|
dk.brics.bisim | |
dk.brics.bisim.controller |
Uses of OptionsModel in dk.brics.bisim |
---|
Fields in dk.brics.bisim declared as OptionsModel | |
---|---|
private OptionsModel |
BisimulationGame.optionsModel
|
Uses of OptionsModel in dk.brics.bisim.controller |
---|
Fields in dk.brics.bisim.controller declared as OptionsModel | |
---|---|
private OptionsModel |
OptionsController.optionsModel
|
Constructors in dk.brics.bisim.controller with parameters of type OptionsModel | |
---|---|
OptionsController(BisimulationGame controller,
OptionsModel optionsModel,
OptionsView optionsView)
Constructs an options controller. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |