CBMC
|
C++ Language Module. More...
#include "cpp_language.h"
#include <util/config.h>
#include <util/get_base_name.h>
#include <util/symbol_table.h>
#include <ansi-c/ansi_c_entry_point.h>
#include <ansi-c/c_preprocess.h>
#include <linking/linking.h>
#include <linking/remove_internal_symbols.h>
#include "cpp_internal_additions.h"
#include "cpp_parser.h"
#include "cpp_type2name.h"
#include "cpp_typecheck.h"
#include "expr2cpp.h"
#include <cstring>
#include <fstream>
Go to the source code of this file.
Functions | |
std::unique_ptr< languaget > | new_cpp_language () |
C++ Language Module.
Definition in file cpp_language.cpp.
std::unique_ptr<languaget> new_cpp_language | ( | ) |
Definition at line 197 of file cpp_language.cpp.