|
| value_set_fivrt () |
|
void | set_from (const irep_idt &function, unsigned inx) |
|
void | set_to (const irep_idt &function, unsigned inx) |
|
bool | offset_is_zero (const offsett &offset) const |
|
exprt | to_expr (object_map_dt::const_iterator it) const |
|
void | set (object_mapt &dest, object_map_dt::const_iterator it) const |
|
bool | insert_to (object_mapt &dest, object_map_dt::const_iterator it) const |
|
bool | insert_to (object_mapt &dest, const exprt &src) const |
|
bool | insert_to (object_mapt &dest, const exprt &src, const mp_integer &offset_value) const |
|
bool | insert_to (object_mapt &dest, object_numberingt::number_type n, const offsett &offset) const |
|
bool | insert_to (object_mapt &dest, const exprt &expr, const offsett &offset) const |
|
bool | insert_from (object_mapt &dest, object_map_dt::const_iterator it) const |
|
bool | insert_from (object_mapt &dest, const exprt &src) const |
|
bool | insert_from (object_mapt &dest, const exprt &src, const mp_integer &offset_value) const |
|
bool | insert_from (object_mapt &dest, object_numberingt::number_type n, const offsett &offset) const |
|
bool | insert_from (object_mapt &dest, const exprt &expr, const offsett &offset) const |
|
void | get_value_set (const exprt &expr, std::list< exprt > &expr_set, const namespacet &ns) const |
|
expr_sett & | get (const idt &identifier, const std::string &suffix) |
|
void | clear () |
|
void | add_var (const idt &id) |
|
void | add_var (const entryt &e) |
|
entryt & | get_entry (const idt &id, const std::string &suffix) |
|
entryt & | get_entry (const entryt &e) |
|
entryt & | get_temporary_entry (const idt &id, const std::string &suffix) |
|
void | add_vars (const std::list< entryt > &vars) |
|
void | output (const namespacet &ns, std::ostream &out) const |
|
bool | make_union (object_mapt &dest, const object_mapt &src) const |
|
bool | make_valid_union (object_mapt &dest, const object_mapt &src) const |
|
void | copy_objects (object_mapt &dest, const object_mapt &src) const |
|
void | apply_code (const codet &code, const namespacet &ns) |
|
bool | handover () |
|
void | assign (const exprt &lhs, const exprt &rhs, const namespacet &ns, bool add_to_sets=false) |
|
void | do_function_call (const irep_idt &function, const exprt::operandst &arguments, const namespacet &ns) |
|
void | do_end_function (const exprt &lhs, const namespacet &ns) |
|
void | get_reference_set (const exprt &expr, expr_sett &expr_set, const namespacet &ns) const |
|
|
void | get_reference_set_sharing (const exprt &expr, expr_sett &expr_set, const namespacet &ns) const |
|
void | get_value_set_rec (const exprt &expr, object_mapt &dest, const std::string &suffix, const typet &original_type, const namespacet &ns, gvs_recursion_sett &recursion_set) const |
|
void | get_value_set (const exprt &expr, object_mapt &dest, const namespacet &ns) const |
|
void | get_reference_set_sharing (const exprt &expr, object_mapt &dest, const namespacet &ns) const |
|
void | get_reference_set_sharing_rec (const exprt &expr, object_mapt &dest, const namespacet &ns) const |
|
void | dereference_rec (const exprt &src, exprt &dest) const |
|
void | assign_rec (const exprt &lhs, const object_mapt &values_rhs, const std::string &suffix, const namespacet &ns, assign_recursion_sett &recursion_set, bool add_to_sets) |
|
void | flatten (const entryt &e, object_mapt &dest) const |
|
void | flatten_rec (const entryt &, object_mapt &, flatten_seent &, unsigned from_function) const |
|
bool | recursive_find (const irep_idt &ident, const object_mapt &rhs, recfind_recursion_sett &recursion_set) const |
|
Definition at line 29 of file value_set_fivr.h.