cprover
mm2cpp.h File Reference
#include <util/irep.h>
Include dependency graph for mm2cpp.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

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

Function Documentation

§ mm2cpp()

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

Definition at line 203 of file mm2cpp.cpp.

References mm2cpp(), and mm2cppt::model_name.

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