CBMC
|
C++ Language Module. More...
#include <memory>
#include <ansi-c/c_object_factory_parameters.h>
#include <langapi/language.h>
#include "cpp_parse_tree.h"
Go to the source code of this file.
Classes | |
class | cpp_languaget |
Functions | |
std::unique_ptr< languaget > | new_cpp_language () |
C++ Language Module.
Definition in file cpp_language.h.
std::unique_ptr<languaget> new_cpp_language | ( | ) |
Definition at line 197 of file cpp_language.cpp.