CBMC
array_name.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Misc Utilities
4 
5 Author: 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 
17 class namespacet;
18 class exprt;
19 
20 std::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:94