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