cprover
interval_analysis.cpp File Reference

Interval Analysis. More...

Include dependency graph for interval_analysis.cpp:

Go to the source code of this file.

Functions

void instrument_intervals (const ait< interval_domaint > &interval_analysis, goto_functionst::goto_functiont &goto_function)
 
void interval_analysis (const namespacet &ns, goto_functionst &goto_functions)
 

Detailed Description

Interval Analysis.

Definition in file interval_analysis.cpp.

Function Documentation

§ instrument_intervals()

void instrument_intervals ( const ait< interval_domaint > &  interval_analysis,
goto_functionst::goto_functiont goto_function 
)

§ interval_analysis()