Tools Menu
The tools menu contains a set of tools useful in the system edtior. The items
are:
- Check Syntax: checks if syntax and types
are correct in the edited system. Any found errors and warnings are
listed in the lower part of the drawing area of the system
editor, and (when applicable) underlinded in the automata.
- Convert Syntax: assists in convering a system complying with
the syntax used in UPPAAL 3.4 to the current syntax.
- Align to Grid: makes all existing objects of the current
template align to the specified drawing grid.