cprover
link_goto_model.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Read Goto Programs
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_LINK_GOTO_MODEL_H
13 #define CPROVER_GOTO_PROGRAMS_LINK_GOTO_MODEL_H
14 
15 #include <util/nodiscard.h>
16 #include <util/replace_symbol.h>
17 
18 class goto_modelt;
19 class message_handlert;
20 
28 
31 void finalize_linking(
32  goto_modelt &dest,
33  const replace_symbolt::expr_mapt &type_updates);
34 
35 #endif // CPROVER_GOTO_PROGRAMS_LINK_GOTO_MODEL_H
std::unordered_map< irep_idt, exprt > expr_mapt
#define NODISCARD
Definition: nodiscard.h:22
nonstd::optional< T > optionalt
Definition: optional.h:35