cprover
|
Remove 'vector' data type. More...
#include "remove_vector.h"
#include <util/arith_tools.h>
#include <util/std_expr.h>
#include "goto_model.h"
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... | |
Remove 'vector' data type.
Definition in file remove_vector.cpp.
|
static |
Definition at line 23 of file remove_vector.cpp.
|
static |
Definition at line 58 of file remove_vector.cpp.
|
static |
Definition at line 91 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 328 of file remove_vector.cpp.
void remove_vector | ( | goto_functionst::goto_functiont & | goto_function | ) |
removes vector data type
Definition at line 313 of file remove_vector.cpp.
void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 344 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 306 of file remove_vector.cpp.
void remove_vector | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes vector data type
Definition at line 335 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 299 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 253 of file remove_vector.cpp.