SMC now generates Graphviz DOT files with the -graph command line option. The images below were generated from the SMC examples. -glevel refers to amount of detail placed into the DOT file: 0 is the least detail and 2 is the greatest.
For more information on using the -graph and -glevel options see SMC Programmer's Manual Section 10: Get the Picture.
|
|
|||||
|
||||||
|
|
|||||
|
|
|||||
|
||||||
|
||||||
|
||||||
| green: Start states, push transitions | ||||||
| red: pop transitions | ||||||
| gold: Default states, default transitions | ||||||
