Layout of transitions could be better
Bug #316306 reported by
Mads Chr. Olesen
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
pyuppaal |
Fix Released
|
Wishlist
|
Thomas Bøgholm |
Bug Description
They should be straighter, **not zig-zaggy**, and use fewer nails.
Related branches
lp:~boegholm/pyuppaal/nicelayout
- pyuppaal developers: Pending requested
-
Diff: 66 lines (+11/-5)2 files modifiedbin/layout_uppaal (+3/-1)
pyuppaal/pyuppaal.py (+8/-4)
Changed in pyuppaal: | |
assignee: | nobody → Thomas Bøgholm (boegholm) |
status: | Confirmed → In Progress |
Changed in pyuppaal: | |
status: | In Progress → Fix Committed |
Changed in pyuppaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Is due to the use of dot, which does not like to layout graphs with straight edges.
A possibility could be to use a heuristic to minimize the number of nails, if the lines is already sort of straight.