cprover
remove_instanceof.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove Instance-of Operators
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_INSTANCEOF_H
13 #define CPROVER_GOTO_PROGRAMS_REMOVE_INSTANCEOF_H
14 
15 #include <util/symbol_table.h>
16 #include "goto_functions.h"
17 #include "goto_model.h"
18 
20  symbol_tablet &symbol_table,
21  goto_functionst &goto_functions);
22 
23 void remove_instanceof(goto_modelt &model);
24 
25 #endif
void remove_instanceof(symbol_tablet &symbol_table, goto_functionst &goto_functions)
See function above.
Goto Programs with Functions.
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:52
Symbol table.