search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Change to Left-Right orientation #133

Open Aaron3154518 opened 2 years ago

Aaron3154518 commented 2 years ago

Currently, when nodes are connected by an edge, they align top-bottom. We changed it to left-right and it looks quite nice. The graphs have better dimensions (width x height) and we can easily identify unread data spaces. We want to make that the default

Aaron3154518 commented 2 years ago

Implemented. In the future, we may want to make this optional. If so, just check the changes made by https://github.com/BoiseState-AdaptLab/IEGenLib/commit/581b52a9b23fbf6bad00674a4e791383c0dbd9a5 (above commit) and make those optional.