cprover
interpreter.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Interpreter for GOTO Programs
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_INTERPRETER_H
13
#define CPROVER_GOTO_PROGRAMS_INTERPRETER_H
14
15
#include <
util/message.h
>
16
17
#include "
goto_model.h
"
18
19
void
interpreter
(
20
const
goto_modelt
&,
21
message_handlert
&);
22
23
#endif // CPROVER_GOTO_PROGRAMS_INTERPRETER_H
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition:
goto_model.h:26
interpreter
void interpreter(const goto_modelt &, message_handlert &)
Definition:
interpreter.cpp:1083
message_handlert
Definition:
message.h:28
message.h
goto-programs
interpreter.h
Generated by
1.8.20