cprover
mm2cppt Class Reference
Collaboration diagram for mm2cppt:
[legend]

Public Member Functions

 mm2cppt (std::ostream &_out)
 
void operator() (const irept &)
 

Public Attributes

irep_idt model_name
 

Protected Types

typedef std::map< irep_idt, exprtlet_valuest
 

Protected Member Functions

void instruction2cpp (const codet &code, unsigned indent)
 
void check_acyclic (const exprt &, unsigned indent)
 

Static Protected Member Functions

static std::string text2c (const irep_idt &src)
 

Protected Attributes

std::ostream & out
 
let_valuest let_values
 

Detailed Description

Definition at line 15 of file mm2cpp.cpp.

Member Typedef Documentation

◆ let_valuest

typedef std::map<irep_idt, exprt> mm2cppt::let_valuest
protected

Definition at line 27 of file mm2cpp.cpp.

Constructor & Destructor Documentation

◆ mm2cppt()

mm2cppt::mm2cppt ( std::ostream &  _out)
inlineexplicit

Definition at line 18 of file mm2cpp.cpp.

Member Function Documentation

◆ check_acyclic()

void mm2cppt::check_acyclic ( const exprt expr,
unsigned  indent 
)
protected

◆ instruction2cpp()

void mm2cppt::instruction2cpp ( const codet code,
unsigned  indent 
)
protected

◆ operator()()

void mm2cppt::operator() ( const irept instruction)

Definition at line 183 of file mm2cpp.cpp.

References instruction2cpp(), model_name, out, text2c(), and to_code().

◆ text2c()

std::string mm2cppt::text2c ( const irep_idt src)
staticprotected

Definition at line 35 of file mm2cpp.cpp.

References dstringt::size().

Referenced by operator()().

Member Data Documentation

◆ let_values

let_valuest mm2cppt::let_values
protected

Definition at line 28 of file mm2cpp.cpp.

Referenced by check_acyclic(), and instruction2cpp().

◆ model_name

irep_idt mm2cppt::model_name

Definition at line 22 of file mm2cpp.cpp.

Referenced by operator()().

◆ out

std::ostream& mm2cppt::out
protected

Definition at line 26 of file mm2cpp.cpp.

Referenced by operator()().


The documentation for this class was generated from the following file: