cprover
value_set_fivrt Member List

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

add_var(const idt &id)value_set_fivrtinline
add_var(const entryt &e)value_set_fivrtinline
add_vars(const std::list< entryt > &vars)value_set_fivrtinline
apply_code(const codet &code, const namespacet &ns)value_set_fivrt
assign(const exprt &lhs, const exprt &rhs, const namespacet &ns, bool add_to_sets=false)value_set_fivrt
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)value_set_fivrtprotected
assign_recursion_sett typedefvalue_set_fivrt
clear()value_set_fivrtinline
copy_objects(object_mapt &dest, const object_mapt &src) constvalue_set_fivrt
dereference_rec(const exprt &src, exprt &dest) constvalue_set_fivrtprotected
do_end_function(const exprt &lhs, const namespacet &ns)value_set_fivrt
do_function_call(const irep_idt &function, const exprt::operandst &arguments, const namespacet &ns)value_set_fivrt
dynamic_object_id_sett typedefvalue_set_fivrt
expr_sett typedefvalue_set_fivrt
flatten(const entryt &e, object_mapt &dest) constvalue_set_fivrtprotected
flatten_rec(const entryt &, object_mapt &, flatten_seent &, unsigned from_function) constvalue_set_fivrtprotected
flatten_seent typedefvalue_set_fivrt
from_functionvalue_set_fivrt
from_target_indexvalue_set_fivrt
function_numberingvalue_set_fivrtstatic
get(const idt &identifier, const std::string &suffix)value_set_fivrt
get_entry(const idt &id, const std::string &suffix)value_set_fivrtinline
get_entry(const entryt &e)value_set_fivrtinline
get_reference_set(const exprt &expr, expr_sett &expr_set, const namespacet &ns) constvalue_set_fivrt
get_reference_set_sharing(const exprt &expr, expr_sett &expr_set, const namespacet &ns) constvalue_set_fivrtprotected
get_reference_set_sharing(const exprt &expr, object_mapt &dest, const namespacet &ns) constvalue_set_fivrtinlineprotected
get_reference_set_sharing_rec(const exprt &expr, object_mapt &dest, const namespacet &ns) constvalue_set_fivrtprotected
get_temporary_entry(const idt &id, const std::string &suffix)value_set_fivrtinline
get_value_set(const exprt &expr, std::list< exprt > &expr_set, const namespacet &ns) constvalue_set_fivrt
get_value_set(const exprt &expr, object_mapt &dest, const namespacet &ns) constvalue_set_fivrtprotected
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) constvalue_set_fivrtprotected
gvs_recursion_sett typedefvalue_set_fivrt
handover()value_set_fivrt
idt typedefvalue_set_fivrt
insert_from(object_mapt &dest, object_map_dt::const_iterator it) constvalue_set_fivrtinline
insert_from(object_mapt &dest, const exprt &src) constvalue_set_fivrtinline
insert_from(object_mapt &dest, const exprt &src, const mp_integer &offset_value) constvalue_set_fivrtinline
insert_from(object_mapt &dest, object_numberingt::number_type n, const offsett &offset) constvalue_set_fivrt
insert_from(object_mapt &dest, const exprt &expr, const offsett &offset) constvalue_set_fivrtinline
insert_to(object_mapt &dest, object_map_dt::const_iterator it) constvalue_set_fivrtinline
insert_to(object_mapt &dest, const exprt &src) constvalue_set_fivrtinline
insert_to(object_mapt &dest, const exprt &src, const mp_integer &offset_value) constvalue_set_fivrtinline
insert_to(object_mapt &dest, object_numberingt::number_type n, const offsett &offset) constvalue_set_fivrt
insert_to(object_mapt &dest, const exprt &expr, const offsett &offset) constvalue_set_fivrtinline
make_union(object_mapt &dest, const object_mapt &src) constvalue_set_fivrt
make_valid_union(object_mapt &dest, const object_mapt &src) constvalue_set_fivrt
object_mapt typedefvalue_set_fivrt
object_numberingvalue_set_fivrtstatic
offset_is_zero(const offsett &offset) constvalue_set_fivrtinline
offsett typedefvalue_set_fivrt
output(const namespacet &ns, std::ostream &out) constvalue_set_fivrt
recfind_recursion_sett typedefvalue_set_fivrt
recursive_find(const irep_idt &ident, const object_mapt &rhs, recfind_recursion_sett &recursion_set) constvalue_set_fivrtprotected
set(object_mapt &dest, object_map_dt::const_iterator it) constvalue_set_fivrtinline
set_from(const irep_idt &function, unsigned inx)value_set_fivrtinline
set_to(const irep_idt &function, unsigned inx)value_set_fivrtinline
temporary_valuesvalue_set_fivrt
to_expr(object_map_dt::const_iterator it) constvalue_set_fivrt
to_functionvalue_set_fivrt
to_target_indexvalue_set_fivrt
value_set_fivrt()value_set_fivrtinline
valuesvalue_set_fivrt
valuest typedefvalue_set_fivrt