#include <value_set_analysis_fi.h>
|
bool | check_type (const typet &type) |
|
void | get_globals (std::list< value_set_fit::entryt > &dest) |
|
void | add_vars (const goto_functionst &goto_functions) |
|
void | add_vars (const goto_programt &goto_programa) |
|
void | get_entries (const symbolt &symbol, std::list< value_set_fit::entryt > &dest) |
|
void | get_entries_rec (const irep_idt &identifier, const std::string &suffix, const typet &type, std::list< value_set_fit::entryt > &dest) |
|
virtual statet & | get_state () |
|
virtual const statet & | get_state () const |
|
void | get_reference_set (const exprt &expr, expr_sett &expr_set) |
|
locationt | get_next (working_sett &working_set) |
|
void | put_in_working_set (working_sett &working_set, locationt l) |
|
bool | fixedpoint (const irep_idt &function_id, const goto_programt &goto_program, const goto_functionst &goto_functions) |
|
void | fixedpoint (const goto_functionst &goto_functions) |
|
bool | visit (const irep_idt &function_id, locationt l, working_sett &working_set, const goto_programt &goto_program, const goto_functionst &goto_functions) |
|
bool | 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) |
|
bool | 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) |
|
Definition at line 20 of file value_set_analysis_fi.h.
◆ baset
◆ track_optionst
◆ value_set_analysis_fit()
◆ add_vars() [1/2]
◆ add_vars() [2/2]
◆ check_type()
bool value_set_analysis_fit::check_type |
( |
const typet & |
type | ) |
|
|
protected |
◆ get_entries()
◆ get_entries_rec()
◆ get_globals()
◆ get_values()
◆ initialize() [1/2]
◆ initialize() [2/2]
◆ track_options
The documentation for this class was generated from the following files: