#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_tablet &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_tablet &symbol_table, goto_functionst &goto_functions) |
| removes vector data type More... | |
| void | remove_vector (goto_modelt &goto_model) |
| removes vector data type More... | |
Detailed Description
Remove 'vector' data type
Definition in file remove_vector.cpp.
Function Documentation
◆ 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 63 of file remove_vector.cpp.
◆ remove_vector() [1/8]
|
static |
Definition at line 96 of file remove_vector.cpp.
◆ remove_vector() [2/8]
|
static |
removes vector data type
Definition at line 368 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 353 of file remove_vector.cpp.
◆ remove_vector() [4/8]
| void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 384 of file remove_vector.cpp.
◆ remove_vector() [5/8]
|
static |
removes vector data type
Definition at line 346 of file remove_vector.cpp.
◆ remove_vector() [6/8]
| void remove_vector | ( | symbol_tablet & | symbol_table, |
| goto_functionst & | goto_functions | ||
| ) |
removes vector data type
Definition at line 375 of file remove_vector.cpp.
◆ remove_vector() [7/8]
|
static |
removes vector data type
Definition at line 339 of file remove_vector.cpp.
◆ remove_vector() [8/8]
|
static |
removes vector data type
Definition at line 293 of file remove_vector.cpp.
