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