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
jsont
Definition:
json.h:21
goto_trace.h
Traces of GOTO Programs.
convert
void convert(const namespacet &, const goto_tracet &, jsont &)
Definition:
json_goto_trace.cpp:22
json.h
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
goto_tracet
TO_BE_DOCUMENTED.
Definition:
goto_trace.h:146
goto-programs
json_goto_trace.h
Generated by
1.8.12