cprover
cpp_convert_type.h File Reference

C++ Language Conversion. More...

#include <util/type.h>
+ Include dependency graph for cpp_convert_type.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void cpp_convert_plain_type (typet &)
 
void cpp_convert_auto (typet &dest, const typet &src)
 

Detailed Description

C++ Language Conversion.

Definition in file cpp_convert_type.h.

Function Documentation

◆ cpp_convert_auto()

void cpp_convert_auto ( typet dest,
const typet src 
)

Definition at line 613 of file cpp_convert_type.cpp.

◆ cpp_convert_plain_type()

void cpp_convert_plain_type ( typet )

Definition at line 585 of file cpp_convert_type.cpp.