CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
array_name.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Misc Utilities
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_UTIL_ARRAY_NAME_H
13#define CPROVER_UTIL_ARRAY_NAME_H
14
15#include <string>
16
17class namespacet;
18class exprt;
19
20std::string array_name(const namespacet &ns, const exprt &expr);
21
22#endif // CPROVER_UTIL_ARRAY_NAME_H
array_name
std::string array_name(const namespacet &ns, const exprt &expr)
Definition array_name.cpp:19
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