cprover
|
Remove the 'vector' data type by compilation into arrays. More...
Go to the source code of this file.
Functions | |
void | remove_vector (symbol_table_baset &, goto_functionst &) |
removes vector data type | |
void | remove_vector (goto_modelt &) |
removes vector data type | |
Remove the 'vector' data type by compilation into arrays.
Definition in file remove_vector.h.
void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 385 of file remove_vector.cpp.
void remove_vector | ( | symbol_table_baset & | symbol_table, |
goto_functionst & | goto_functions ) |
removes vector data type
Definition at line 376 of file remove_vector.cpp.