cprover
xml_irep.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_XML_IREP_H
11
#define CPROVER_UTIL_XML_IREP_H
12
13
class
irept
;
14
class
xmlt
;
15
16
void
convert
(
17
const
irept
&irep,
18
xmlt
&
xml
);
19
20
void
convert
(
21
const
xmlt
&
xml
,
22
irept
&irep);
23
24
#endif // CPROVER_UTIL_XML_IREP_H
convert
void convert(const irept &irep, xmlt &xml)
Definition:
xml_irep.cpp:19
xml
xmlt xml(const source_locationt &location)
Definition:
xml_expr.cpp:25
xmlt
Definition:
xml.h:18
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:87
util
xml_irep.h
Generated by
1.8.14