12 #ifndef CPROVER_UTIL_ARRAY_NAME_H 13 #define CPROVER_UTIL_ARRAY_NAME_H 22 #endif // CPROVER_UTIL_ARRAY_NAME_H std::string array_name(const namespacet &ns, const exprt &expr)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Base class for all expressions.