Loading...

Searching...

No Matches

array_name.cpp File Reference

Misc Utilities. More...

#include "array_name.h"
#include "expr.h"
#include "namespace.h"
#include "ssa_expr.h"
#include "symbol.h"

+ Include dependency graph for array_name.cpp:

Functions

Detailed Description

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.