Edge labels in pynoptic-generated models

[GoogleCodeExporter]

Currently Pynoptic outputs models where the edge labels represent the mean of 
the underlying distribution of observed times. This is a useful representation, 
but it is lossy and it's difficult to reason about constrained invariant 
satisfiability with means.

Instead, implement a different default visualization in which each edge is 
annotated with a tuple of two time integers to summarize the underlying 
distribution --- the min and the max of the values in the distribution.

The code that generates the current mean-based edges is in 
synoptic.model.export.GraphExporter. Search for "time = 
trans.getDeltaSeries().computeMean();"

Original issue reported on code.google.com by bestchai on 4 Sep 2013 at 5:05

[GoogleCodeExporter]

Solution in revision 84b8048b8667, please review.

Original comment by tonyohm...@gmail.com on 19 Sep 2013 at 4:15

• Changed state: Started

[GoogleCodeExporter]

Merged into default with revision 9794896ce0ee

Original comment by bestchai on 21 Sep 2013 at 4:26

• Changed state: Fixed