cprover
mm2cpp.cpp File Reference
#include "mm2cpp.h"
#include <ostream>
#include <util/std_code.h>
Include dependency graph for mm2cpp.cpp:

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)
 

Function Documentation

§ mm2cpp()

void mm2cpp ( const irep_idt model_name,
const irept instruction,
std::ostream &  out 
)

Definition at line 203 of file mm2cpp.cpp.

References mm2cpp(), and mm2cppt::model_name.

Referenced by mmcc_parse_optionst::convert(), and mm2cpp().