CBMC
cpp_name.h File Reference
#include <util/expr.h>
#include <util/invariant.h>
+ Include dependency graph for cpp_name.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  cpp_namet
 
class  cpp_namet::namet
 

Functions

cpp_nametto_cpp_name (irept &cpp_name)
 
const cpp_nametto_cpp_name (const irept &cpp_name)
 

Function Documentation

◆ to_cpp_name() [1/2]

const cpp_namet& to_cpp_name ( const irept cpp_name)
inline

Definition at line 154 of file cpp_name.h.

◆ to_cpp_name() [2/2]

cpp_namet& to_cpp_name ( irept cpp_name)
inline

Definition at line 148 of file cpp_name.h.