cprover
interval_analysis.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Interval Analysis
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
13 #define CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
14 
15 #include <util/namespace.h>
17 
19  const namespacet &ns,
20  goto_functionst &goto_functions);
21 
22 #endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
Goto Programs with Functions.
TO_BE_DOCUMENTED.
Definition: namespace.h:62
void interval_analysis(const namespacet &ns, goto_functionst &goto_functions)