remove_vector.h File Reference
Remove the 'vector' data type by compilation into arrays. More...
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| void | remove_vector (symbol_table_baset &, goto_functionst &) |
| removes vector data type More... | |
| void | remove_vector (goto_modelt &) |
| removes vector data type More... | |
| bool | has_vector (const goto_functionst &) |
| returns true iff any of the given goto functions has instructions that use the vector type More... | |
| bool | has_vector (const goto_modelt &) |
| returns true iff the given goto model has instructions that use the vector type More... | |
Detailed Description
Remove the 'vector' data type by compilation into arrays.
Definition in file remove_vector.h.
Function Documentation
◆ has_vector() [1/2]
| bool has_vector | ( | const goto_functionst & | goto_functions | ) |
returns true iff any of the given goto functions has instructions that use the vector type
Definition at line 390 of file remove_vector.cpp.
◆ has_vector() [2/2]
| bool has_vector | ( | const goto_modelt & | goto_model | ) |
returns true iff the given goto model has instructions that use the vector type
Definition at line 407 of file remove_vector.cpp.
◆ remove_vector() [1/2]
| void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 385 of file remove_vector.cpp.
◆ remove_vector() [2/2]
| 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.
