dot.h File Reference
#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 & | , |
| std::ostream & | out | ||
| ) |
