cprover
|
C++ Language Conversion. More...
#include <util/type.h>
Go to the source code of this file.
Functions | |
void | cpp_convert_plain_type (typet &) |
void | cpp_convert_auto (typet &dest, const typet &src) |
C++ Language Conversion.
Definition in file cpp_convert_type.h.
Definition at line 613 of file cpp_convert_type.cpp.
void cpp_convert_plain_type | ( | typet & | ) |
Definition at line 585 of file cpp_convert_type.cpp.