CBMC
|
Program Transformation. More...
#include <util/irep.h>
Go to the source code of this file.
Functions | |
void | goto_convert (const codet &code, symbol_table_baset &symbol_table, goto_programt &dest, message_handlert &message_handler, const irep_idt &mode) |
void | goto_convert (symbol_table_baset &symbol_table, goto_programt &dest, message_handlert &message_handler) |
Program Transformation.
Definition in file goto_convert.h.
void goto_convert | ( | const codet & | code, |
symbol_table_baset & | symbol_table, | ||
goto_programt & | dest, | ||
message_handlert & | message_handler, | ||
const irep_idt & | mode | ||
) |
Definition at line 2187 of file goto_convert.cpp.
void goto_convert | ( | symbol_table_baset & | symbol_table, |
goto_programt & | dest, | ||
message_handlert & | message_handler | ||
) |
Definition at line 2200 of file goto_convert.cpp.