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 <
util/message.h
>
16
#include <
util/cmdline.h
>
17
18
#include "
goto_model.h
"
19
20
bool
initialize_goto_model
(
21
goto_modelt
&goto_model,
22
const
cmdlinet
&cmdline,
23
message_handlert
&message_handler);
24
25
#endif // CPROVER_GOTO_PROGRAMS_INITIALIZE_GOTO_MODEL_H
message.h
goto_modelt
Definition:
goto_model.h:22
cmdlinet
Definition:
cmdline.h:17
goto_model.h
Symbol Table + CFG.
message_handlert
Definition:
message.h:20
cmdline.h
initialize_goto_model
bool initialize_goto_model(goto_modelt &goto_model, const cmdlinet &cmdline, message_handlert &message_handler)
Definition:
initialize_goto_model.cpp:27
goto-programs
initialize_goto_model.h
Generated by
1.8.12