CBMC
Loading...
Searching...
No Matches
xml_goto_trace.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Traces of GOTO Programs
4
5Author: Daniel Kroening
6
7Date: November 2005
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
15#define CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
16
17class goto_tracet;
18class namespacet;
19class xmlt;
20
21void convert(
22 const namespacet &ns,
23 const goto_tracet &goto_trace,
24 xmlt &xml);
25
26#endif // CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
goto_tracet
Trace of a GOTO program.
Definition goto_trace.h:177
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
xmlt
Definition xml.h:21
xml
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
Definition properties.cpp:110
convert
void convert(const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml)
Definition xml_goto_trace.cpp:91