State Machine Viewer

The following shows the state model viewer menu tab.

Figure 2.2: State Model Viewer.
\begin{figure}\centering
\epsfxsize =5.6in
\epsfbox{stateView.eps}
\end{figure}

Export:
allows to export a state machine as a jpg or bmp image.
View:
allows switching state machine transition labels on and off.
Zoom In/Zoom out
allows to zoom in/out the state model view.



Stephane 2007-09-03