cprover
|
goto_programt -> irep conversion More...
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) |
goto_programt -> irep conversion
Definition in file goto_program_irep.cpp.
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().
void convert | ( | const irept & | irep, |
goto_programt::instructiont & | instruction | ||
) |
Definition at line 56 of file goto_program_irep.cpp.
References irept::find(), irept::get_sub(), irept::id(), irept::id_string(), and unsafe_string2unsigned().
void convert | ( | const goto_programt & | program, |
irept & | irep | ||
) |
Definition at line 76 of file goto_program_irep.cpp.
References convert(), forall_goto_program_instructions, irept::get_sub(), irept::id(), and goto_program_templatet< codeT, guardT >::instructions.
void convert | ( | const irept & | irep, |
goto_programt & | program | ||
) |
Definition at line 87 of file goto_program_irep.cpp.
References goto_program_templatet< codeT, guardT >::compute_location_numbers(), convert(), irept::find(), irept::get_sub(), irept::id(), goto_program_templatet< codeT, guardT >::instructions, unsafe_string2unsigned(), and goto_program_templatet< codeT, guardT >::update().