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 exprt expr)
static

Definition at line 24 of file remove_vector.cpp.

◆ have_to_remove_vector() [2/2]

static bool have_to_remove_vector ( const typet type)
static

Definition at line 49 of file remove_vector.cpp.

◆ remove_vector() [1/8]

static void remove_vector ( exprt expr)
static

Definition at line 70 of file remove_vector.cpp.

◆ remove_vector() [2/8]

static void remove_vector ( goto_functionst goto_functions)
static

removes vector data type

Definition at line 235 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 218 of file remove_vector.cpp.

◆ remove_vector() [4/8]

void remove_vector ( goto_modelt goto_model)

removes vector data type

Definition at line 251 of file remove_vector.cpp.

◆ remove_vector() [5/8]

static void remove_vector ( symbol_tablet symbol_table)
static

removes vector data type

Definition at line 211 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 242 of file remove_vector.cpp.

◆ remove_vector() [7/8]

static void remove_vector ( symbolt symbol)
static

removes vector data type

Definition at line 204 of file remove_vector.cpp.

◆ remove_vector() [8/8]

static void remove_vector ( typet type)
static

removes vector data type

Definition at line 166 of file remove_vector.cpp.