cprover
undefined_functions.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Handling of functions without body
4
5
Author: Michael Tautschnig
6
7
Date: July 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_UNDEFINED_FUNCTIONS_H
15
#define CPROVER_UNDEFINED_FUNCTIONS_H
16
17
#include <iosfwd>
18
19
class
namespacet
;
20
class
goto_modelt
;
21
22
void
list_undefined_functions
(
23
const
goto_modelt
&,
24
std::ostream &);
25
26
void
undefined_function_abort_path
(
goto_modelt
&);
27
28
#endif
goto_modelt
Definition:
goto_model.h:26
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
list_undefined_functions
void list_undefined_functions(const goto_modelt &, std::ostream &)
Definition:
undefined_functions.cpp:22
undefined_function_abort_path
void undefined_function_abort_path(goto_modelt &)
Definition:
undefined_functions.cpp:34
goto-instrument
undefined_functions.h
Generated by
1.8.20