Functions

removes complex data type

removes complex data type

Detailed Description

Remove the 'complex' data type by compilation into structs.

Definition in file remove_complex.h.

void remove_complex ( goto_modelt & goto_model )

removes complex data type

Definition at line 361 of file remove_complex.cpp.

void remove_complex ( symbol_table_baset & symbol_table,

goto_functionst & goto_functions

)

removes complex data type

Definition at line 352 of file remove_complex.cpp.