CBMC
Loading...
Searching...
No Matches
Classes | Functions
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_namet &  to_cpp_name (irept &cpp_name)
 
const cpp_namet &  to_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.

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