cprover
goto_program_irep.h File Reference

goto_programt -> irep conversion More...

Include dependency graph for goto_program_irep.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void convert (const goto_programt::instructiont &instruction, irept &irep)
 
void convert (const irept &irep, goto_programt::instructiont &instruction)
 
void convert (const goto_programt &program, irept &irep)
 
void convert (const irept &irep, goto_programt &program)
 

Detailed Description

goto_programt -> irep conversion

Definition in file goto_program_irep.h.

Function Documentation

§ convert() [1/4]

void convert ( const goto_programt::instructiont &  instruction,
irept irep 
)

Definition at line 20 of file goto_program_irep.cpp.

References irept::add(), irept::get_sub(), irept::move_to_sub(), and irept::set().

Referenced by convert().

§ convert() [2/4]

void convert ( const irept irep,
goto_programt::instructiont &  instruction 
)

§ convert() [3/4]

§ convert() [4/4]