CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
xml_expr.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_GOTO_PROGRAMS_XML_EXPR_H
10#define CPROVER_GOTO_PROGRAMS_XML_EXPR_H
11
12#include <util/xml.h>
13
14class typet;
15class exprt;
16class namespacet;
17
18xmlt xml(const exprt &, const namespacet &);
19
20xmlt xml(const typet &, const namespacet &);
21
22#endif // CPROVER_GOTO_PROGRAMS_XML_EXPR_H
exprt
Base class for all expressions.
Definition expr.h:56
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
typet
The type of an expression, extends irept.
Definition type.h:29
xmlt
Definition xml.h:21
xml
xmlt xml(const exprt &, const namespacet &)
Definition xml_expr.cpp:129