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

Implement graph structure for toDot #116

Open Aaron3154518 opened 3 years ago

Aaron3154518 commented 3 years ago

I propose a graph implementation of the dot structure for easier manipulation.

Objects:

In Computation, we would just create a new CompGraph, call any manipulation functions, and call toDotString()

Aaron3154518 commented 3 years ago

Graph structure has been created and results are the same as previous dot files.