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
19
void
remove_instanceof
(
20
symbol_tablet
&symbol_table,
21
goto_functionst
&goto_functions);
22
23
void
remove_instanceof
(
goto_modelt
&model);
24
25
#endif
remove_instanceof
void remove_instanceof(symbol_tablet &symbol_table, goto_functionst &goto_functions)
See function above.
Definition:
remove_instanceof.cpp:218
goto_functions.h
Goto Programs with Functions.
goto_modelt
Definition:
goto_model.h:22
goto_model.h
Symbol Table + CFG.
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
goto_functionst
Definition:
goto_functions.h:20
symbol_table.h
Symbol table.
goto-programs
remove_instanceof.h
Generated by
1.8.12