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
void convert(const irept &irep, xmlt &xml)
Definition: xml_irep.cpp:19
xmlt xml(const source_locationt &location)
Definition: xml_expr.cpp:25
Definition: xml.h:18
Base class for tree-like data structures with sharing.
Definition: irep.h:156