CBMC
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:

Go to the source code of this file.

Classes

class  dott
 

Macros

#define DOTGRAPHSETTINGS
 

Functions

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

Detailed Description

Dump Goto-Program as DOT Graph.

Definition in file dot.cpp.

Macro Definition Documentation

◆ DOTGRAPHSETTINGS

#define DOTGRAPHSETTINGS
Value:
"color=black;" \
"orientation=portrait;" \
"fontsize=20;"\
"compound=true;"\
"size=\"30,40\";"\
"ratio=compress;"

Definition at line 20 of file dot.cpp.

Function Documentation

◆ dot()

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

Definition at line 359 of file dot.cpp.