cprover
cpp_name.h File Reference
#include <util/expr.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]

◆ to_cpp_name() [2/2]

const cpp_namet& to_cpp_name ( const irept cpp_name)
inline

Definition at line 149 of file cpp_name.h.

References irept::id().