cprover
remove_virtual_functions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove Virtual Function (Method) Calls
4 
5 Author: Daniel Kroening
6 
7 Date: April 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_VIRTUAL_FUNCTIONS_H
15 #define CPROVER_GOTO_PROGRAMS_REMOVE_VIRTUAL_FUNCTIONS_H
16 
17 #include "goto_model.h"
18 
19 // remove virtual function calls
20 // and replace by case-split
22  goto_modelt &goto_model);
23 
25  const symbol_tablet &symbol_table,
26  goto_functionst &goto_functions);
27 
28 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_VIRTUAL_FUNCTIONS_H
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:52
void remove_virtual_functions(goto_modelt &goto_model)