The SMC option -graph generates Graphviz DOT files using three detail levels:
-glevel 0: Generates the least
- state names,
- transition names and
- pop transition "nodes" only.
-glevel 1: Generates all of the above plus:
- entry and exit actions,
- transition guards,
- transition actions,
-glevel 2: Generates all of the above plus:
- entry and exit action arguments,
- transition parameters,
- pop transition arguments,
- transition action arguments.
SMC generates a rudimentary DOT file - SMC makes no attempt to produce a "pretty" graph because beauty is in the eye of the beholder. The default Graphviz settings are used. You can then modify the DOT file to your heart's content.
Note: Be careful modifying the SMC-generated DOT file directly. If you have SMC generate a new DOT file, it will overwrite your work.Stroll through the SMC Picture Gallery to see examples of SMC-generated DOT files and what can be done with them.