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
21
class
goto_functionst
;
22
23
void
list_undefined_functions
(
24
const
goto_functionst
&goto_functions,
25
const
namespacet
&ns,
26
std::ostream &os);
27
28
void
undefined_function_abort_path
(
goto_functionst
&goto_functions);
29
30
#endif
list_undefined_functions
void list_undefined_functions(const goto_functionst &goto_functions, const namespacet &ns, std::ostream &os)
Definition:
undefined_functions.cpp:20
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
goto_functionst
Definition:
goto_functions.h:20
undefined_function_abort_path
void undefined_function_abort_path(goto_functionst &goto_functions)
Definition:
undefined_functions.cpp:31
goto-instrument
undefined_functions.h
Generated by
1.8.14