Functions

removes vector data type

removes vector data type

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

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

Detailed Description

Remove the 'vector' data type by compilation into arrays.

Definition in file remove_vector.h.

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.

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.

void remove_vector ( goto_modelt & goto_model )

removes vector data type

Definition at line 385 of file remove_vector.cpp.

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.