cprover
Loading...
Searching...
No Matches
link_goto_model.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Read Goto Programs
4
5Author: 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
18class goto_modelt;
20
28
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