CBMC: /home/runner/work/cbmc/cbmc/src/goto-programs/remove_complex.h Source File

CBMC
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_table_baset;
20
21void remove_complex(symbol_table_baset &, goto_functionst &);
22
23void remove_complex(goto_modelt &);
24
25#endif // CPROVER_GOTO_PROGRAMS_REMOVE_COMPLEX_H
A collection of goto functions.
Definition goto_model.h:27
The symbol table base class interface.
void remove_complex(symbol_table_baset &, goto_functionst &)
removes complex data type

AltStyle によって変換されたページ (->オリジナル) /