cprover
Loading...
Searching...
No Matches
initialize_goto_model.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Initialize a Goto Program
4
5Author: 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
18class 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
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
Symbol Table + CFG.
goto_modelt initialize_goto_model(const std::vector< std::string > &files, message_handlert &message_handler, const optionst &options)