cprover
value_set_analysis_fivrnst Member List

This is the complete list of members for value_set_analysis_fivrnst, including all inherited members.

add_vars(const goto_functionst &goto_functions)value_set_analysis_fivrnstprotected
add_vars(const goto_programt &goto_programa)value_set_analysis_fivrnstprotected
baset typedefvalue_set_analysis_fivrnst
check_type(const typet &type)value_set_analysis_fivrnstprotected
clear()flow_insensitive_analysist< value_set_domain_fivrnst >inlinevirtual
do_function_call(const irep_idt &calling_function, locationt l_call, const goto_functionst &goto_functions, const goto_functionst::function_mapt::const_iterator f_it, const exprt::operandst &arguments, statet &new_state)flow_insensitive_analysis_basetprotected
do_function_call_rec(const irep_idt &calling_function, locationt l_call, const exprt &function, const exprt::operandst &arguments, statet &new_state, const goto_functionst &goto_functions)flow_insensitive_analysis_basetprotected
dummy(const value_set_domain_fivrnst &s)flow_insensitive_analysist< value_set_domain_fivrnst >inlineprivate
expr_sett typedefflow_insensitive_analysis_basetprotected
fixedpoint(const irep_idt &function_id, const goto_programt &goto_program, const goto_functionst &goto_functions)flow_insensitive_analysis_basetprotected
fixedpoint(goto_functionst::function_mapt::const_iterator it, const goto_functionst &goto_functions)flow_insensitive_analysis_basetprotected
fixedpoint(const goto_functionst &goto_functions)flow_insensitive_analysis_basetprotected
flow_insensitive_analysis_baset(const namespacet &_ns)flow_insensitive_analysis_basetinlineexplicit
flow_insensitive_analysist(const namespacet &_ns)flow_insensitive_analysist< value_set_domain_fivrnst >inlineexplicit
functions_doneflow_insensitive_analysis_basetprotected
functions_donet typedefflow_insensitive_analysis_basetprotected
get_data()flow_insensitive_analysist< value_set_domain_fivrnst >inline
get_data() constflow_insensitive_analysist< value_set_domain_fivrnst >inline
get_entries(const symbolt &symbol, std::list< value_set_fivrnst::entryt > &dest)value_set_analysis_fivrnstprotected
get_entries_rec(const irep_idt &identifier, const std::string &suffix, const typet &type, std::list< value_set_fivrnst::entryt > &dest)value_set_analysis_fivrnstprotected
get_globals(std::list< value_set_fivrnst::entryt > &dest)value_set_analysis_fivrnstprotected
get_next(working_sett &working_set)flow_insensitive_analysis_basetprotected
get_reference_set(const exprt &expr, expr_sett &expr_set)flow_insensitive_analysist< value_set_domain_fivrnst >inlineprotectedvirtual
get_state()flow_insensitive_analysist< value_set_domain_fivrnst >inlineprotectedvirtual
get_state() constflow_insensitive_analysist< value_set_domain_fivrnst >inlineprotectedvirtual
flow_insensitive_analysis_baset::get_state() const =0flow_insensitive_analysis_basetprotectedpure virtual
get_values(const irep_idt &function_id, locationt l, const exprt &expr, std::list< exprt > &dest)value_set_analysis_fivrnstinlinevirtual
value_setst::get_values(const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr)=0value_setstpure virtual
initialize(const goto_programt &goto_program)value_set_analysis_fivrnstvirtual
initialize(const goto_functionst &goto_functions)value_set_analysis_fivrnstvirtual
initializedflow_insensitive_analysis_basetprotected
locationt typedefflow_insensitive_analysist< value_set_domain_fivrnst >
nsflow_insensitive_analysis_basetprotected
operator()(const irep_idt &function_id, const goto_programt &goto_program)flow_insensitive_analysis_basetvirtual
operator()(const goto_functionst &goto_functions)flow_insensitive_analysis_basetvirtual
output(const irep_idt &function_id, locationt l, std::ostream &out)value_set_analysis_fivrnstinline
output(const irep_idt &function_id, const goto_programt &goto_program, std::ostream &out)value_set_analysis_fivrnstinlinevirtual
flow_insensitive_analysist< value_set_domain_fivrnst >::output(const goto_functionst &goto_functions, std::ostream &out)flow_insensitive_analysis_basetvirtual
put_in_working_set(working_sett &working_set, locationt l)flow_insensitive_analysis_basetinlineprotected
recursion_setflow_insensitive_analysis_basetprotected
recursion_sett typedefflow_insensitive_analysis_basetprotected
seen(const locationt &l)flow_insensitive_analysis_basetinline
seen_locationsflow_insensitive_analysis_baset
stateflow_insensitive_analysist< value_set_domain_fivrnst >protected
statet typedefflow_insensitive_analysis_baset
statisticsflow_insensitive_analysis_baset
successor(locationt l)flow_insensitive_analysis_basetinlineprotectedstatic
TRACK_ALL_POINTERS enum valuevalue_set_analysis_fivrnst
TRACK_FUNCTION_POINTERS enum valuevalue_set_analysis_fivrnst
track_optionsvalue_set_analysis_fivrnstprotected
track_optionst enum namevalue_set_analysis_fivrnst
update(const goto_programt &goto_program)flow_insensitive_analysis_basetvirtual
update(const goto_functionst &goto_functions)flow_insensitive_analysis_basetvirtual
value_set_analysis_fivrnst(const namespacet &_ns, track_optionst _track_options=TRACK_ALL_POINTERS)value_set_analysis_fivrnstinline
value_setst()value_setstinline
valuest typedefvalue_setst
visit(const irep_idt &function_id, locationt l, working_sett &working_set, const goto_programt &goto_program, const goto_functionst &goto_functions)flow_insensitive_analysis_basetprotected
working_sett typedefflow_insensitive_analysis_basetprotected
~flow_insensitive_analysis_baset()flow_insensitive_analysis_basetinlinevirtual
~value_setst()value_setstinlinevirtual