Loading...

Searching...

No Matches

dot.cpp File Reference

Dump Goto-Program as DOT Graph. More...

#include "dot.h"
#include <sstream>
#include <goto-programs/goto_model.h>
#include <langapi/language_util.h>

+ Include dependency graph for dot.cpp:

Classes

class dott

Macros

void dot (const goto_modelt &src, std::ostream &out)

Dump Goto-Program as DOT Graph.

Definition in file dot.cpp.

#define DOTGRAPHSETTINGS

Value:

"color=black;" \

"orientation=portrait;" \

"fontsize=20;"\

"compound=true;"\

"size=\"30,40\";"\

"ratio=compress;"

Definition at line 20 of file dot.cpp.

void dot ( const goto_modelt & src,

std::ostream & out

)

Definition at line 359 of file dot.cpp.