1/*******************************************************************\
5Author: Daniel Kroening, kroening@kroening.com
7\*******************************************************************/
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)
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...