|
cprover
|
C++ Language Type Conversion. More...
#include "cpp_convert_type.h"#include <cassert>#include <util/arith_tools.h>#include <util/c_types.h>#include <util/config.h>#include <util/invariant.h>#include <util/std_types.h>#include <ansi-c/gcc_types.h>#include "cpp_declaration.h"#include "cpp_name.h"
Include dependency graph for cpp_convert_type.cpp:Go to the source code of this file.
Classes | |
| class | cpp_convert_typet |
Functions | |
| void | cpp_convert_plain_type (typet &type) |
| void | cpp_convert_auto (typet &dest, const typet &src) |
C++ Language Type Conversion.
Definition in file cpp_convert_type.cpp.
Definition at line 613 of file cpp_convert_type.cpp.
| void cpp_convert_plain_type | ( | typet & | type | ) |
Definition at line 585 of file cpp_convert_type.cpp.