CBMC
|
C++ Language Type Checking. More...
#include "cpp_declarator.h"
#include "cpp_storage_spec.h"
#include "cpp_member_spec.h"
#include "cpp_template_type.h"
#include "cpp_template_args.h"
Go to the source code of this file.
Classes | |
class | cpp_declarationt |
Functions | |
cpp_declarationt & | to_cpp_declaration (irept &irep) |
const cpp_declarationt & | to_cpp_declaration (const irept &irep) |
C++ Language Type Checking.
Definition in file cpp_declaration.h.
|
inline |
Definition at line 152 of file cpp_declaration.h.
|
inline |
Definition at line 146 of file cpp_declaration.h.