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

Dot legend #132

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

We want to add a legend which describes the different types of nodes on the dot graph.

Aaron3154518 commented 3 years ago

Changed parameters to blue. Changed parameter-return nodes to purple (blue + red (return) = purple).

Aaron3154518 commented 3 years ago

Parameter nodes which are written to are filled in for easy identification.