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 
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