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 
24  const goto_functionst &goto_functions,
25  const namespacet &ns,
26  std::ostream &os);
27 
29 
30 #endif
void list_undefined_functions(const goto_functionst &goto_functions, const namespacet &ns, std::ostream &os)
TO_BE_DOCUMENTED.
Definition: namespace.h:62
void undefined_function_abort_path(goto_functionst &goto_functions)