dot.h File Reference
Dump Goto-Program as DOT Graph. More...
#include <iosfwd>
Include dependency graph for dot.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| void | dot (const goto_modelt &, std::ostream &out) |
Detailed Description
Dump Goto-Program as DOT Graph.
Definition in file dot.h.
Function Documentation
◆ dot()
| void dot | ( | const goto_modelt & | src, |
| std::ostream & | out | ||
| ) |
