automat.viz
save
(save fsm filename)(save fsm filename options)Renders the states and transitions of fsm, and saves them to filename.
(save fsm filename)(save fsm filename options)Renders the states and transitions of fsm, and saves them to filename.