cprover
Loading...
Searching...
No Matches
remove_vector.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove the 'vector' data type by compilation into arrays
4
5
Author: Daniel Kroening
6
7
Date: September 2014
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
15
#define CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
16
17
class
goto_functionst
;
18
class
goto_modelt
;
19
class
symbol_tablet
;
20
21
void
remove_vector
(
symbol_tablet
&,
goto_functionst
&);
22
23
void
remove_vector
(
goto_modelt
&);
24
25
#endif
// CPROVER_GOTO_PROGRAMS_REMOVE_VECTOR_H
goto_functionst
A collection of goto functions.
Definition
goto_functions.h:25
goto_modelt
Definition
goto_model.h:26
symbol_tablet
The symbol table.
Definition
symbol_table.h:14
remove_vector
void remove_vector(symbol_tablet &, goto_functionst &)
removes vector data type
Definition
remove_vector.cpp:335
goto-programs
remove_vector.h
Generated by
1.9.7