cprover
Loading...
Searching...
No Matches
cpp_convert_type.h File Reference

C++ Language Conversion. More...

+ 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 &, message_handlert &)
 
void cpp_convert_auto (typet &dest, const typet &src, message_handlert &)
 

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,
message_handlert & message_handler )

Definition at line 347 of file cpp_convert_type.cpp.

◆ cpp_convert_plain_type()

void cpp_convert_plain_type ( typet & type,
message_handlert & message_handler )

Definition at line 325 of file cpp_convert_type.cpp.