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,
21
message_handlert
&);
22
23
#endif // CPROVER_GOTO_PROGRAMS_LINK_GOTO_MODEL_H
goto_modelt
Definition:
goto_model.h:26
message_handlert
Definition:
message.h:28
link_goto_model
void link_goto_model(goto_modelt &dest, goto_modelt &src, message_handlert &)
Definition:
link_goto_model.cpp:171
goto-programs
link_goto_model.h
Generated by
1.8.20