array_name.cpp File Reference

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

Include dependency graph for array_name.cpp:

Go to the source code of this file.

Functions
std::string	array_name (const namespacet &ns, const exprt &expr)

Detailed Description

Misc Utilities

Definition in file array_name.cpp.

Function Documentation

array_name()

std::string array_name	(	const namespacet &	ns,
		const exprt &	expr
	)

Definition at line 19 of file array_name.cpp.