[ sat4j-Feature Requests-305059 ] Add a legend on generated dot file

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Feature Requests item #305059, was opened at 25/04/2006 17:47
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350292&aid=305059&group_id=228

Category: SAT
Group: None
Status: Open
Priority: 5
Submitted By: Daniel Le Berre (leberre)
Assigned to: Laurent Stemmer (stemlaur)
Summary: Add a legend on generated dot file

Initial Comment:
There is no explanation of the meaning of the colors in the figure.

It would be nice to include it in the generated dot file.

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350292&aid=305059&group_id=228