cprover
vcd_goto_trace.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Traces of GOTO Programs in VCD (Value Change Dump) Format
4 
5 Author: Daniel Kroening
6 
7 Date: June 2011
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
16 
17 #include <iosfwd>
18 
19 #include <util/namespace.h>
20 
21 #include "goto_trace.h"
22 
23 void output_vcd(
24  const namespacet &ns,
25  const goto_tracet &goto_trace,
26  std::ostream &out);
27 
28 #endif // CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
output_vcd
void output_vcd(const namespacet &ns, const goto_tracet &goto_trace, std::ostream &out)
Definition: vcd_goto_trace.cpp:71
namespace.h
goto_trace.h
Traces of GOTO Programs.
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
goto_tracet
Trace of a GOTO program.
Definition: goto_trace.h:171