cprover
json_goto_trace.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Traces of GOTO Programs
4 
5 Author: Daniel Kroening
6 
7 Date: November 2005
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
16 
17 #include <util/json.h>
18 
19 #include "goto_trace.h"
20 
21 void convert(
22  const namespacet &,
23  const goto_tracet &,
24  jsont &);
25 
26 #endif // CPROVER_GOTO_PROGRAMS_JSON_GOTO_TRACE_H
Definition: json.h:21
Traces of GOTO Programs.
void convert(const namespacet &, const goto_tracet &, jsont &)
TO_BE_DOCUMENTED.
Definition: namespace.h:62
TO_BE_DOCUMENTED.
Definition: goto_trace.h:146