Uses of Class
common.controller.ModelChecker

Packages that use ModelChecker

Package	Description
jsimgraph.panels	Panels of the JSIMgraph application.
jsimwiz.panels	Panels of the JSIMwiz wizard: the textual, step by step interface for the JSIM simulation engine described in the user manual.

Uses of ModelChecker in jsimgraph.panels

Constructors in jsimgraph.panels with parameters of type ModelChecker

Modifier	Constructor	Description
	JModelProblemsWindow(Frame owner, ModelChecker checker, GuiInterface gi)

Uses of ModelChecker in jsimwiz.panels

Methods in jsimwiz.panels with parameters of type ModelChecker

Modifier and Type	Method	Description
void	JSimProblemsWindow.setModelChecker(ModelChecker mc)

Constructors in jsimwiz.panels with parameters of type ModelChecker

Modifier	Constructor	Description
	JSimProblemsWindow(ModelChecker checker, GuiInterface gi)