Introduction to Verics Graphical User Interface.
The main window of Verics.
The main window is divided horizontally into two parts. The upper part is
designed for graphical editors, and the bottom part for modules
(plugins) that offer various functions. You can move the divider up and
down (with some restrictions depending on displayed elements) for more
convenient work.
Just after the application starts, the
Verics architecture is presented in the top area.
Main menu.
The main menu bar is located in the top of the window.
The pictures below presents options of the main menu.
Menu Project.
Menu Project offers functions to save, load or create a new graphical project - a network of
Timed Automata.
Please refer to the section "Working with graphical editor" for more details.
Menu Modules.
You can activate a module by clicking on its name.
Activated module appears in the bottom part of the screen. For more details see sections "Working with modules"
and "Detailed description of modules".
Menu Options.
The Antialias button toggles the antialias flag (used by graphical editor) on or off.
The Configuration button opens the configuration window .......... more details soon ;)
Menu Help.
The About button opens a new window containning some basic informations on the application ..................
The Help Topics button opens a new window with the file you are reading now.
Working with modules.
When some modules are activated, the application window can look like above.
The bottom part of the window, below divider bar, presents the modules area.
Here the module TA Tools is active.
If you want to know more about functions offered by modules, please refer to section "Detailed description of modules".
In the top of modules area one can see the red tabs with names of
modules. You can switch between modules just by clicking the tabs.
To close the module you can use the button with the black cross, in the left part of the module.
When you click the button with dashed square, the module will be opened
in a new window. Then you can resize the window for more convenient work.
To bring back a module window to the tab just close the window, or use the button that will appear on the tab.
Usually a module has several tabs. They are placed in the bottom of module area.
E.g. in the picture above one can see a fragment of TA Tools module. It is equipped with two tabs: Editor and Verification.
Detailed description of modules.
Comming soon ....
Working with graphical editor
comming soon ...