array_name.h File Reference

Misc Utilities. More...

#include <string>

Include dependency graph for array_name.h:

This graph shows which files directly or indirectly include this file:

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.h.

Function Documentation

array_name()

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

Definition at line 19 of file array_name.cpp.