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 
23  const goto_modelt &,
24  std::ostream &);
25 
27 
28 #endif
void list_undefined_functions(const goto_modelt &, std::ostream &)
void undefined_function_abort_path(goto_modelt &)
TO_BE_DOCUMENTED.
Definition: namespace.h:74