cprover
|
Remove 'vector' data type. More...
#include "remove_vector.h"
#include <util/arith_tools.h>
#include <util/std_expr.h>
#include <util/std_types.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 24 of file remove_vector.cpp.
|
static |
Definition at line 49 of file remove_vector.cpp.
|
static |
Definition at line 70 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 235 of file remove_vector.cpp.
void remove_vector | ( | goto_functionst::goto_functiont & | goto_function | ) |
removes vector data type
Definition at line 218 of file remove_vector.cpp.
void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 251 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 211 of file remove_vector.cpp.
void remove_vector | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes vector data type
Definition at line 242 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 204 of file remove_vector.cpp.
|
static |
removes vector data type
Definition at line 166 of file remove_vector.cpp.