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
>
16
#include <
goto-programs/goto_functions.h
>
17
18
void
interval_analysis
(
19
const
namespacet
&ns,
20
goto_functionst
&goto_functions);
21
22
#endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
goto_functions.h
Goto Programs with Functions.
namespace.h
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
goto_functionst
Definition:
goto_functions.h:20
interval_analysis
void interval_analysis(const namespacet &ns, goto_functionst &goto_functions)
Definition:
interval_analysis.cpp:79
analyses
interval_analysis.h
Generated by
1.8.12