ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
array_name.h
Go to the documentation of this file.
1
#include <
util/irep/expr.h
>
2
#include <
irep2/irep2.h
>
3
#include <
util/symtab/namespace.h
>
4
5
std::string
array_name
(
const
namespacet
&ns,
const
expr2tc
&expr);
array_name
std::string array_name(const namespacet &ns, const expr2tc &expr)
Definition
array_name.cpp:4
namespacet
Definition
namespace.h:10
irep2.h
Classes and definitions for non-stringy internal representation.
expr2tc
irep_container< expr2t > expr2tc
Definition
irep2.h:431
namespace.h
expr.h
src
util
expr
array_name.h
Generated by
1.15.0