|
Class Summary |
| EnginTraceDialog |
Engine Trace Dialog
This classes display the computation trace of the engine's functions. |
| ExampleFileFilter |
A convenience implementation of FileFilter that filters out
all files except for those type extensions that it knows about. |
| FormulaDialog |
Titre : Formula Dialog
Description : Cette classe est un assistant pour la génération et
la vérification de formules. |
| FormulaTree |
Formula Tree
This classes displays a tree representing the formula passed to its constructor. |
| MainFrame |
MainFrame represents the main interface of Cismo. |
| OptionsDialog |
Options Dialog
Options Dialog is a dialog showing various options used during Cismo's
computations. |
| ProgressDialog |
Progress Dialog
Progress Bar is a box shown during long operations. |
| SystemDialog |
System Dialog
System Dialog is a simple wizard used to create a new LMP system. |
| TransitionDialog |
Transition Dialog
Transition dialog is a simple wizard to construct a new transition, or modify
a transition in the current system. |