CBMC
Loading...
Searching...
No Matches
interval_analysis.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Interval Analysis
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
13#define CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
14
15class goto_modelt;
16
17void interval_analysis(goto_modelt &);
18
19#endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
goto_modelt
Definition goto_model.h:27
interval_analysis
void interval_analysis(goto_modelt &)
Initialises the abstract interpretation over interval domain and instruments instructions using inter...
Definition interval_analysis.cpp:90