| add_vars(const goto_functionst &goto_functions) | value_set_analysis_fit | protected |
| add_vars(const goto_programt &goto_programa) | value_set_analysis_fit | protected |
| baset typedef | value_set_analysis_fit | |
| check_type(const typet &type) | value_set_analysis_fit | protected |
| clear() | flow_insensitive_analysist< value_set_domain_fit > | 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_fit &s) | flow_insensitive_analysist< value_set_domain_fit > | 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(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_fit > | inlineexplicit |
| functions_done | flow_insensitive_analysis_baset | protected |
| functions_donet typedef | flow_insensitive_analysis_baset | protected |
| get_data() | flow_insensitive_analysist< value_set_domain_fit > | inline |
| get_data() const | flow_insensitive_analysist< value_set_domain_fit > | inline |
| get_entries(const symbolt &symbol, std::list< value_set_fit::entryt > &dest) | value_set_analysis_fit | protected |
| get_entries_rec(const irep_idt &identifier, const std::string &suffix, const typet &type, std::list< value_set_fit::entryt > &dest) | value_set_analysis_fit | protected |
| get_globals(std::list< value_set_fit::entryt > &dest) | value_set_analysis_fit | 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_fit > | inlineprotectedvirtual |
| get_state() | flow_insensitive_analysist< value_set_domain_fit > | inlineprotectedvirtual |
| get_state() const | flow_insensitive_analysist< value_set_domain_fit > | 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) override | value_set_analysis_fit | virtual |
| initialize(const goto_programt &goto_program) override | value_set_analysis_fit | virtual |
| initialize(const goto_functionst &goto_functions) override | value_set_analysis_fit | virtual |
| initialized | flow_insensitive_analysis_baset | protected |
| locationt typedef | flow_insensitive_analysist< value_set_domain_fit > | |
| 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 goto_functionst &goto_functions, std::ostream &out) | flow_insensitive_analysis_baset | virtual |
| output(const irep_idt &function_id, const goto_programt &goto_program, 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_fit > | 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_fit | |
| TRACK_FUNCTION_POINTERS enum value | value_set_analysis_fit | |
| track_options | value_set_analysis_fit | protected |
| track_optionst enum name | value_set_analysis_fit | |
| 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_fit(const namespacet &_ns, track_optionst _track_options=TRACK_ALL_POINTERS) | value_set_analysis_fit | 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 |
1.8.17