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.