cprover
|
Value Set Propagation. More...
Go to the source code of this file.
Classes | |
class | value_set_analysis_templatet< VSDT > |
Macros | |
#define | USE_DEPRECATED_STATIC_ANALYSIS_H |
Typedefs | |
typedef value_set_analysis_templatet< value_set_domain_templatet< value_sett > > | value_set_analysist |
Functions | |
void | value_sets_to_xml (const std::function< const value_sett &(goto_programt::const_targett)> &get_value_set, const goto_programt &goto_program, xmlt &dest) |
void | convert (const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis, xmlt &dest) |
void | convert (const goto_programt &goto_program, const value_set_analysist &value_set_analysis, xmlt &dest) |
Value Set Propagation.
Definition in file value_set_analysis.h.
#define USE_DEPRECATED_STATIC_ANALYSIS_H |
Definition at line 15 of file value_set_analysis.h.
Definition at line 72 of file value_set_analysis.h.
void convert | ( | const goto_functionst & | goto_functions, |
const value_set_analysist & | value_set_analysis, | ||
xmlt & | dest | ||
) |
Definition at line 74 of file value_set_analysis.cpp.
References value_set_analysis_templatet< VSDT >::convert(), xmlt::data, goto_functionst::function_map, id2string(), and xmlt::new_element().
void convert | ( | const goto_programt & | goto_program, |
const value_set_analysist & | value_set_analysis, | ||
xmlt & | dest | ||
) |
Definition at line 92 of file value_set_analysis.cpp.
References value_set_analysis_templatet< VSDT >::convert(), goto_program, and xmlt::new_element().
void value_sets_to_xml | ( | const std::function< const value_sett &(goto_programt::const_targett)> & | get_value_set, |
const goto_programt & | goto_program, | ||
xmlt & | dest | ||
) |
Definition at line 21 of file value_set_analysis.cpp.
References xmlt::data, dstringt::empty(), xmlt::escape(), forall_goto_program_instructions, from_expr(), source_locationt::get_file(), goto_program, id2string(), irept::is_nil(), xmlt::new_element(), value_sett::values, and xml().
Referenced by value_set_analysis_templatet< VSDT >::convert().