CBMC
Loading...
Searching...
No Matches
Functions
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.

AltStyle によって変換されたページ (->オリジナル) /