cprover
|
Remove the 'complex' data type by compilation into structs. More...
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
void | remove_complex (symbol_tablet &, goto_functionst &) |
removes complex data type More... | |
void | remove_complex (goto_modelt &) |
removes complex data type More... | |
Remove the 'complex' data type by compilation into structs.
Definition in file remove_complex.h.
void remove_complex | ( | symbol_tablet & | , |
goto_functionst & | |||
) |
removes complex data type
Definition at line 310 of file remove_complex.cpp.
References remove_complex().
void remove_complex | ( | goto_modelt & | ) |
removes complex data type
Definition at line 319 of file remove_complex.cpp.
References goto_modelt::goto_functions, remove_complex(), and goto_modelt::symbol_table.