|
cprover
|
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) |
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.