cprover
initialize_goto_model.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Initialize a Goto Program
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
13
#define CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
14
15
#include "
goto_model.h
"
16
17
class
message_handlert
;
18
class
optionst
;
19
20
goto_modelt
initialize_goto_model
(
21
const
std::vector<std::string> &files,
22
message_handlert
&message_handler,
23
const
optionst
&options);
24
25
#endif // CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
optionst
Definition:
options.h:23
initialize_goto_model
goto_modelt initialize_goto_model(const std::vector< std::string > &files, message_handlert &message_handler, const optionst &options)
Definition:
initialize_goto_model.cpp:59
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition:
goto_model.h:26
message_handlert
Definition:
message.h:28
goto-programs
initialize_goto_model.h
Generated by
1.8.20