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