Fix the exported dot/png representations

[GoogleCodeExporter]

The currently exported dot/png representation in the model tab of the GWT 
interface have a few problems:

1) There is a color coding of the edges to correspond to unique executions. 
Unfortunately, this coding makes little sense right now since an edge is of a 
single color (the only sensible representation requires multiple colors).

2) The edges do not show transition probabilities, or weights.

The following are proposed solutions to these:

1) Simplify and give all edges the default black color.

2) Add weights. This should be trivial, as this is already implemented.

Original issue reported on code.google.com by bestchai on 13 Nov 2011 at 4:30

[GoogleCodeExporter]

This issue was closed by revision a0eb852268e4.

Original comment by bestchai on 6 Dec 2011 at 7:09

• Changed state: Fixed

[GoogleCodeExporter]

Resolved in revision a0eb852268e4.

Original comment by bestchai on 6 Dec 2011 at 7:09