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