Automata View preference page

The Automata View preference page gives the user a choice to select a type of files that will contain the computed state transition system for all processes in the model and all never claims, to select whether the Automata View dialog will be shown after graph creation (default) and whether statement merging should be turned off (default, using verifier generation option -o3). Currently, nine different graphic formats are supported: dot, eps, fig, gif, jpg, pdf (default), png, svg, and svgz.

A click on the Restore Defaults button restores the default selections of options.

A click on the Apply button applies the selected options.

A click on the OK button applies the selected options and closes the page. If the Automata View preference page is opened after selecting the Automata View option in the Menu Bar Run command or in the Tool Bar, a click on the OK button, moreover, starts generation of the automata and opens the Automata View selection dialog, where the automaton to be viewed can be selected.

A click on the Cancel button cancels the selected options, reverts the previous ones and closes the page.