cprover
remove_vector.cpp File Reference

Remove 'vector' data type. More...

#include "remove_vector.h"
#include <util/arith_tools.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 bool have_to_remove_vector ( const typet type)
static

§ have_to_remove_vector() [2/2]

static bool have_to_remove_vector ( const exprt expr)
static

Definition at line 20 of file remove_vector.cpp.

References forall_operands, have_to_remove_vector(), irept::id(), and exprt::type().

§ remove_vector() [1/8]

§ remove_vector() [2/8]

§ remove_vector() [3/8]

static void remove_vector ( symbolt symbol)
static

removes vector data type

Definition at line 184 of file remove_vector.cpp.

References remove_vector(), symbolt::type, and symbolt::value.

§ remove_vector() [4/8]

static void remove_vector ( symbol_tablet symbol_table)
static

removes vector data type

Definition at line 191 of file remove_vector.cpp.

References Forall_symbols, remove_vector(), and symbol_tablet::symbols.

§ remove_vector() [5/8]

void remove_vector ( goto_functionst::goto_functiont goto_function)

removes vector data type

Definition at line 198 of file remove_vector.cpp.

References Forall_goto_program_instructions, and remove_vector().

§ remove_vector() [6/8]

static void remove_vector ( goto_functionst goto_functions)
static

removes vector data type

Definition at line 210 of file remove_vector.cpp.

References Forall_goto_functions, and remove_vector().

§ remove_vector() [7/8]

void remove_vector ( symbol_tablet symbol_table,
goto_functionst goto_functions 
)

removes vector data type

Definition at line 217 of file remove_vector.cpp.

References remove_vector().

§ remove_vector() [8/8]

void remove_vector ( goto_modelt goto_model)

removes vector data type

Definition at line 226 of file remove_vector.cpp.

References goto_modelt::goto_functions, remove_vector(), and goto_modelt::symbol_table.