cprover
dot.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Dump Goto-Program as DOT Graph
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_DOT_H
13 #define CPROVER_GOTO_INSTRUMENT_DOT_H
14 
16 
17 void dot(
18  const goto_functionst &src,
19  const namespacet &ns,
20  std::ostream &out);
21 
22 #endif // CPROVER_GOTO_INSTRUMENT_DOT_H
Goto Programs with Functions.
void dot(const goto_functionst &src, const namespacet &ns, std::ostream &out)
Definition: dot.cpp:353
TO_BE_DOCUMENTED.
Definition: namespace.h:62