CBMC
goto_convert.h File Reference

Program Transformation. More...

#include <util/irep.h>
+ Include dependency graph for goto_convert.h:
+ This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Program Transformation.

Definition in file goto_convert.h.

Function Documentation

◆ goto_convert() [1/2]

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.

◆ goto_convert() [2/2]

void goto_convert ( symbol_table_baset symbol_table,
goto_programt dest,
message_handlert message_handler 
)

Definition at line 2200 of file goto_convert.cpp.