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 class goto_modelt;
16 class message_handlert;
17 
18 void link_goto_model(
19  goto_modelt &dest,
20  goto_modelt &src,
22 
23 #endif // CPROVER_GOTO_PROGRAMS_LINK_GOTO_MODEL_H
goto_modelt
Definition: goto_model.h:26
message_handlert
Definition: message.h:28