CBMC
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.