cprover
|
C++ Language Module. More...
Go to the source code of this file.
Classes | |
class | cpp_languaget |
Functions | |
languaget * | new_cpp_language () |
C++ Language Module.
Definition in file cpp_language.h.
languaget* new_cpp_language | ( | ) |
Definition at line 208 of file cpp_language.cpp.
References cpp_languaget::cpp_languaget().
Referenced by clobber_parse_optionst::doit(), symex_parse_optionst::doit(), dump_cpp(), cpp_languaget::main_symbol(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), goto_analyzer_parse_optionst::register_languages(), cbmc_parse_optionst::register_languages(), and goto_instrument_parse_optionst::register_languages().