cprover
|
Misc Utilities. More...
#include "array_name.h"
#include "expr.h"
#include "namespace.h"
#include "symbol.h"
#include "ssa_expr.h"
Go to the source code of this file.
Functions | |
std::string | array_name (const namespacet &ns, const exprt &expr) |
Misc Utilities.
Definition in file array_name.cpp.
std::string array_name | ( | const namespacet & | ns, |
const exprt & | expr | ||
) |
Definition at line 19 of file array_name.cpp.
References array_name(), symbolt::base_name, irept::get_string(), irept::id(), id2string(), is_ssa_expr(), namespacet::lookup(), exprt::op0(), exprt::operands(), and to_ssa_expr().
Referenced by array_name(), goto_checkt::array_name(), and value_set_dereferencet::bounds_check().