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,
and whether or not the automata view dialog will be shown after graph creation. Currently the following
file types are supported:
bmp
,
dot
,
eps
,
fig
,
gif
,
jpg
,
pdf
,
png
,
svgz
, and
tif
.