The graphviz output option is great, but I was wondering if there's a way to make it print the state names instead of numbers in the circle labels. Similarly, constants parsed from include files have names, but the numeric values are printed on transition labels.<br>
<br>Thanks,<br>Shawn<br>