cprover
|
This is the complete list of members for value_set_analysis_fivrt, including all inherited members.
add_vars(const goto_functionst &goto_functions) | value_set_analysis_fivrt | protected |
add_vars(const goto_programt &goto_programa) | value_set_analysis_fivrt | protected |
baset typedef | value_set_analysis_fivrt | |
check_type(const typet &type) | value_set_analysis_fivrt | protected |
clear() | flow_insensitive_analysist< value_set_domain_fivrt > | 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_baset | protected |
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_baset | protected |
dummy(const value_set_domain_fivrt &s) | flow_insensitive_analysist< value_set_domain_fivrt > | inlineprivate |
expr_sett typedef | flow_insensitive_analysis_baset | protected |
fixedpoint(const irep_idt &function_id, const goto_programt &goto_program, const goto_functionst &goto_functions) | flow_insensitive_analysis_baset | protected |
fixedpoint(goto_functionst::function_mapt::const_iterator it, const goto_functionst &goto_functions) | flow_insensitive_analysis_baset | protected |
fixedpoint(const goto_functionst &goto_functions) | flow_insensitive_analysis_baset | protected |
flow_insensitive_analysis_baset(const namespacet &_ns) | flow_insensitive_analysis_baset | inlineexplicit |
flow_insensitive_analysist(const namespacet &_ns) | flow_insensitive_analysist< value_set_domain_fivrt > | inlineexplicit |
functions_done | flow_insensitive_analysis_baset | protected |
functions_donet typedef | flow_insensitive_analysis_baset | protected |
get_data() | flow_insensitive_analysist< value_set_domain_fivrt > | inline |
get_data() const | flow_insensitive_analysist< value_set_domain_fivrt > | inline |
get_entries(const symbolt &symbol, std::list< value_set_fivrt::entryt > &dest) | value_set_analysis_fivrt | protected |
get_entries_rec(const irep_idt &identifier, const std::string &suffix, const typet &type, std::list< value_set_fivrt::entryt > &dest) | value_set_analysis_fivrt | protected |
get_globals(std::list< value_set_fivrt::entryt > &dest) | value_set_analysis_fivrt | protected |
get_next(working_sett &working_set) | flow_insensitive_analysis_baset | protected |
get_reference_set(const exprt &expr, expr_sett &expr_set) | flow_insensitive_analysist< value_set_domain_fivrt > | inlineprotectedvirtual |
get_state() | flow_insensitive_analysist< value_set_domain_fivrt > | inlineprotectedvirtual |
get_state() const | flow_insensitive_analysist< value_set_domain_fivrt > | inlineprotectedvirtual |
flow_insensitive_analysis_baset::get_state() const =0 | flow_insensitive_analysis_baset | protectedpure virtual |
get_values(const irep_idt &function_id, locationt l, const exprt &expr, std::list< exprt > &dest) override | value_set_analysis_fivrt | inlinevirtual |
value_setst::get_values(const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr)=0 | value_setst | pure virtual |
initialize(const goto_programt &goto_program) override | value_set_analysis_fivrt | virtual |
initialize(const goto_functionst &goto_functions) override | value_set_analysis_fivrt | virtual |
initialized | flow_insensitive_analysis_baset | protected |
locationt typedef | flow_insensitive_analysist< value_set_domain_fivrt > | |
ns | flow_insensitive_analysis_baset | protected |
operator()(const irep_idt &function_id, const goto_programt &goto_program) | flow_insensitive_analysis_baset | virtual |
operator()(const goto_functionst &goto_functions) | flow_insensitive_analysis_baset | virtual |
output(const irep_idt &function_id, locationt l, std::ostream &out) | value_set_analysis_fivrt | inline |
output(const irep_idt &function_id, const goto_programt &goto_program, std::ostream &out) override | value_set_analysis_fivrt | inlinevirtual |
flow_insensitive_analysist< value_set_domain_fivrt >::output(const goto_functionst &goto_functions, std::ostream &out) | flow_insensitive_analysis_baset | virtual |
put_in_working_set(working_sett &working_set, locationt l) | flow_insensitive_analysis_baset | inlineprotected |
recursion_set | flow_insensitive_analysis_baset | protected |
recursion_sett typedef | flow_insensitive_analysis_baset | protected |
seen(const locationt &l) | flow_insensitive_analysis_baset | inline |
seen_locations | flow_insensitive_analysis_baset | |
state | flow_insensitive_analysist< value_set_domain_fivrt > | protected |
statet typedef | flow_insensitive_analysis_baset | |
statistics | flow_insensitive_analysis_baset | |
successor(locationt l) | flow_insensitive_analysis_baset | inlineprotectedstatic |
TRACK_ALL_POINTERS enum value | value_set_analysis_fivrt | |
TRACK_FUNCTION_POINTERS enum value | value_set_analysis_fivrt | |
track_options | value_set_analysis_fivrt | protected |
track_optionst enum name | value_set_analysis_fivrt | |
update(const goto_programt &goto_program) | flow_insensitive_analysis_baset | virtual |
update(const goto_functionst &goto_functions) | flow_insensitive_analysis_baset | virtual |
value_set_analysis_fivrt(const namespacet &_ns, track_optionst _track_options=TRACK_ALL_POINTERS) | value_set_analysis_fivrt | inline |
value_setst() | value_setst | inline |
valuest typedef | value_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_baset | protected |
working_sett typedef | flow_insensitive_analysis_baset | protected |
~flow_insensitive_analysis_baset() | flow_insensitive_analysis_baset | inlinevirtual |
~value_setst() | value_setst | inlinevirtual |