byzhang / signal-collect

Automatically exported from code.google.com/p/signal-collect
0 stars 0 forks source link

Documentation for GraphEditor #35

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
The options of how to modify the graph need to be documented in the wiki. The 
precise semantics and guarantees when adding/removing vertices and edges during 
runtime need to be explained too.

Original issue reported on code.google.com by philip.stutz on 10 Oct 2011 at 12:53

GoogleCodeExporter commented 9 years ago

Original comment by philip.stutz on 18 Oct 2011 at 12:32

GoogleCodeExporter commented 9 years ago

Original comment by philip.stutz on 27 Oct 2011 at 1:17