Remove 'vector' data type. More...
#include "remove_vector.h"#include <util/arith_tools.h>#include <util/std_expr.h>#include <ansi-c/c_expr.h>#include "goto_model.h"
Include dependency graph for remove_vector.cpp:Go to the source code of this file.
Functions | |
| static bool | have_to_remove_vector (const typet &type) |
| static bool | have_to_remove_vector (const exprt &expr) |
| static void | remove_vector (typet &) |
| removes vector data type More... | |
| static void | remove_vector (exprt &expr) |
| static void | remove_vector (symbolt &symbol) |
| removes vector data type More... | |
| static void | remove_vector (symbol_table_baset &symbol_table) |
| removes vector data type More... | |
| void | remove_vector (goto_functionst::goto_functiont &goto_function) |
| removes vector data type More... | |
| static void | remove_vector (goto_functionst &goto_functions) |
| removes vector data type More... | |
| void | remove_vector (symbol_table_baset &symbol_table, goto_functionst &goto_functions) |
| removes vector data type More... | |
| void | remove_vector (goto_modelt &goto_model) |
| removes vector data type More... | |
| bool | has_vector (const goto_functionst &goto_functions) |
| returns true iff any of the given goto functions has instructions that use the vector type More... | |
| bool | has_vector (const goto_modelt &goto_model) |
| returns true iff the given goto model has instructions that use the vector type More... | |
Detailed Description
Remove 'vector' data type.
Definition in file remove_vector.cpp.
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.
◆ have_to_remove_vector() [1/2]
|
static |
Definition at line 25 of file remove_vector.cpp.
◆ have_to_remove_vector() [2/2]
|
static |
Definition at line 65 of file remove_vector.cpp.
◆ remove_vector() [1/8]
|
static |
Definition at line 98 of file remove_vector.cpp.
◆ remove_vector() [2/8]
|
static |
removes vector data type
Definition at line 369 of file remove_vector.cpp.
◆ remove_vector() [3/8]
| void remove_vector | ( | goto_functionst::goto_functiont & | goto_function | ) |
removes vector data type
Definition at line 354 of file remove_vector.cpp.
◆ remove_vector() [4/8]
| void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 385 of file remove_vector.cpp.
◆ remove_vector() [5/8]
|
static |
removes vector data type
Definition at line 347 of file remove_vector.cpp.
◆ remove_vector() [6/8]
| 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.
◆ remove_vector() [7/8]
|
static |
removes vector data type
Definition at line 340 of file remove_vector.cpp.
◆ remove_vector() [8/8]
|
static |
removes vector data type
Definition at line 294 of file remove_vector.cpp.
