12 #ifndef CPROVER_POINTER_ANALYSIS_VALUE_SET_ANALYSIS_H 13 #define CPROVER_POINTER_ANALYSIS_VALUE_SET_ANALYSIS_H 15 #define USE_DEPRECATED_STATIC_ANALYSIS_H 51 (*this)[l].value_set.get_value_set(expr, dest,
ns);
65 #endif // CPROVER_POINTER_ANALYSIS_VALUE_SET_ANALYSIS_H
static_analysist< value_set_domaint > baset
void convert(const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis, xmlt &dest)
virtual void get_values(locationt l, const exprt &expr, value_setst::valuest &dest)
goto_programt::const_targett locationt
void convert(const goto_programt &goto_program, const irep_idt &identifier, xmlt &dest) const
virtual void initialize(const goto_programt &goto_program)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
Base class for all expressions.
std::list< exprt > valuest
value_set_analysist(const namespacet &_ns)