cprover
xml_expr.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_EXPR_H
11
#define CPROVER_UTIL_XML_EXPR_H
12
13
#include "
xml.h
"
14
15
class
source_locationt
;
16
class
typet
;
17
class
exprt
;
18
class
namespacet
;
19
20
xmlt
xml
(
21
const
exprt
&,
22
const
namespacet
&);
23
24
xmlt
xml
(
25
const
typet
&,
26
const
namespacet
&);
27
28
xmlt
xml
(
const
source_locationt
&);
29
30
#endif // CPROVER_UTIL_XML_EXPR_H
typet
The type of an expression.
Definition:
type.h:22
xml
xmlt xml(const exprt &, const namespacet &)
Definition:
xml_expr.cpp:145
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:74
xmlt
Definition:
xml.h:18
xml.h
source_locationt
Definition:
source_location.h:16
exprt
Base class for all expressions.
Definition:
expr.h:42
util
xml_expr.h
Generated by
1.8.14