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