cprover
remove_vector.cpp File Reference

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"
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 24 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 188 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 195 of file remove_vector.cpp.

References symbol_tablet::get_writeable(), remove_vector(), and symbol_table_baset::symbols.

◆ remove_vector() [5/8]

void remove_vector ( goto_functionst::goto_functiont goto_function)

removes vector data type

Definition at line 202 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 214 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 221 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 230 of file remove_vector.cpp.

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