Loading...

Searching...

No Matches

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 <ansi-c/c_expr.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

static void remove_vector (exprt &expr)

static void remove_vector (symbolt &symbol)

removes vector data type

static void remove_vector (symbol_table_baset &symbol_table)

removes vector data type

void remove_vector (goto_functionst::goto_functiont &goto_function)

removes vector data type

static void remove_vector (goto_functionst &goto_functions)

removes vector data type

void remove_vector (symbol_table_baset &symbol_table, goto_functionst &goto_functions)

removes vector data type

void remove_vector (goto_modelt &goto_model)

removes vector data type

bool has_vector (const goto_functionst &goto_functions)

returns true iff any of the given goto functions has instructions that use the vector type

bool has_vector (const goto_modelt &goto_model)

returns true iff the given goto model has instructions that use the vector type

Detailed Description

Remove 'vector' data type.

Definition in file remove_vector.cpp.

Function Documentation

◆ has_vector() [1/2]

bool has_vector ( const goto_functionst & goto_functions )

returns true iff any of the given goto functions has instructions that use the vector type

Definition at line 390 of file remove_vector.cpp.

◆ has_vector() [2/2]

bool has_vector ( const goto_modelt & goto_model )

returns true iff the given goto model has instructions that use the vector type

Definition at line 407 of file remove_vector.cpp.

◆ have_to_remove_vector() [1/2]

static bool have_to_remove_vector ( const exprt & expr )

static

Definition at line 25 of file remove_vector.cpp.

◆ have_to_remove_vector() [2/2]

static bool have_to_remove_vector ( const typet & type )

static

Definition at line 65 of file remove_vector.cpp.

◆ remove_vector() [1/8]

static void remove_vector ( exprt & expr )

static

Definition at line 98 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 369 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 354 of file remove_vector.cpp.

◆ remove_vector() [4/8]

void remove_vector ( goto_modelt & goto_model )

removes vector data type

Definition at line 385 of file remove_vector.cpp.

◆ remove_vector() [5/8]

static void remove_vector ( symbol_table_baset & symbol_table )

static

removes vector data type

Definition at line 347 of file remove_vector.cpp.

◆ remove_vector() [6/8]

void remove_vector ( symbol_table_baset & symbol_table,

goto_functionst & goto_functions

)

removes vector data type

Definition at line 376 of file remove_vector.cpp.

◆ remove_vector() [7/8]

static void remove_vector ( symbolt & symbol )

static

removes vector data type

Definition at line 340 of file remove_vector.cpp.

◆ remove_vector() [8/8]

static void remove_vector ( typet & type )

static

removes vector data type

Definition at line 294 of file remove_vector.cpp.