search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
83 stars 25 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