1/*******************************************************************\
3Module: Remove the 'vector' data type by compilation into arrays
9\*******************************************************************/
14#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
15#define CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
33#endif // CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
A collection of goto functions.
The symbol table base class interface.
bool has_vector(const goto_functionst &)
returns true iff any of the given goto functions has instructions that use the vector type
void remove_vector(symbol_table_baset &, goto_functionst &)
removes vector data type