Tool Bar

The tool bar is normally located just below the menu bar but can be moved (using the mouse) to other positions or even to a separate window. The tool bar is divided into four groups. The three leftmost groups provide quick access to some of the most frequently used menu items. The rightmost group contains editing tools.

UPPAAL Toolbar

The first group contains the following buttons: New, Open Project, and Save. These features are described in the File menu section.

The second group contains the following buttons: Undo and Redo. These features are described in the Edit menu section.

The third group contains the following buttons: Zoom to Fit, Zoom In, and Zoom Out. This features are described in the View menu section.

The fourth group contains tools used in the editor for selecting and moving elements of an automaton, and for adding locations, edges and nails. This features are described in the section on Drawing.