search

mgijsberti / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Do not display the initial and terminal nodes in the GWT model #395

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
By default the GWT model should not show the initial/terminal nodes and should 
denote the initial/terminal partitions in some other way (e.g., double circles 
for the terminal partition).

There should probably be an option to show the initial/terminal nodes (may be 
useful for tracking the starts/ends of the model).

Original issue reported on code.google.com by bestchai on 25 Jan 2015 at 11:45