cprover
|
Interval Analysis. More...
Go to the source code of this file.
Functions | |
void | interval_analysis (const namespacet &ns, goto_functionst &goto_functions) |
Interval Analysis.
Definition in file interval_analysis.h.
void interval_analysis | ( | const namespacet & | ns, |
goto_functionst & | goto_functions | ||
) |
Definition at line 79 of file interval_analysis.cpp.
References Forall_goto_functions, instrument_intervals(), and interval_analysis().
Referenced by goto_instrument_parse_optionst::doit(), goto_instrument_parse_optionst::instrument_goto_program(), and interval_analysis().