cprover
|
Go to the source code of this file.
Classes | |
class | ansi_c_languaget |
Functions | |
languaget * | new_ansi_c_language () |
languaget* new_ansi_c_language | ( | ) |
Definition at line 140 of file ansi_c_language.cpp.
References ansi_c_languaget::ansi_c_languaget().
Referenced by clobber_parse_optionst::doit(), symex_parse_optionst::doit(), dump_c(), goto_diff_languagest::register_languages(), goto_cc_modet::register_languages(), goto_fence_inserter_parse_optionst::register_languages(), goto_analyzer_parse_optionst::register_languages(), cbmc_parse_optionst::register_languages(), goto_instrument_parse_optionst::register_languages(), bmct::show_program(), bmct::show_vcc_json(), and bmct::show_vcc_plain().