cprover
|
#include "mm2cpp.h"
#include <map>
#include <ostream>
#include <util/std_code.h>
#include <util/std_expr.h>
Go to the source code of this file.
Classes | |
class | mm2cppt |
Functions | |
void | mm2cpp (const irep_idt &model_name, const irept &instruction, std::ostream &out) |
Definition at line 204 of file mm2cpp.cpp.
References mm2cpp().
Referenced by mmcc_parse_optionst::convert(), and mm2cpp().