cprover
|
#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"
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.