cprover
full_array_abstract_objectt Member List

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

abstract_aggregate_baset typedeffull_array_abstract_objectt
abstract_aggregate_objectt(const typet &type)abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inlineexplicit
abstract_aggregate_objectt(const typet &type, bool tp, bool bttm)abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inline
abstract_aggregate_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inline
abstract_object_meet(const abstract_object_pointert &other) constabstract_objecttprotected
abstract_object_meet_internal(const abstract_object_pointert &other) constabstract_objecttprivatevirtual
abstract_object_merge(const abstract_object_pointert other) constabstract_objecttprotected
abstract_object_merge_internal(const abstract_object_pointert other) constabstract_objecttprivatevirtual
abstract_objectt(const typet &type)abstract_objecttexplicit
abstract_objectt(const typet &type, bool top, bool bottom)abstract_objectt
abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)abstract_objectt
abstract_objectt(const typet &type, const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)abstract_objectt
bottomabstract_objecttprivate
clear_top() constabstract_objecttinline
dump_map(std::ostream out, const shared_mapt &m)abstract_objecttstatic
dump_map_diff(std::ostream out, const shared_mapt &m1, const shared_mapt &m2)abstract_objecttstatic
expression_transform(const exprt &expr, const std::vector< abstract_object_pointert > &operands, const abstract_environmentt &environment, const namespacet &ns) const overrideabstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inlinevirtual
full_array_abstract_objectt(typet type)full_array_abstract_objecttexplicit
full_array_abstract_objectt(typet type, bool top, bool bottom)full_array_abstract_objectt
full_array_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)full_array_abstract_objectt
full_array_merge(const full_array_pointert other) constfull_array_abstract_objecttprivate
full_array_pointert typedeffull_array_abstract_objectt
get_statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const overrideabstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inlinevirtual
get_top_entry(const abstract_environmentt &env, const namespacet &ns) constfull_array_abstract_objecttprivate
has_been_modified(const abstract_object_pointert before) constabstract_objecttinlinevirtual
internal_abstract_object_pointert typedefabstract_objecttprotected
internal_equality(const abstract_object_pointert &other) constabstract_objecttinlinevirtual
internal_hash() constabstract_objecttinlinevirtual
internal_sharing_ptrt typedefabstract_objecttprotected
is_bottom() constabstract_objecttvirtual
is_top() constabstract_objecttvirtual
locationst typedefabstract_objectt
make_top() constabstract_objecttinline
mapfull_array_abstract_objecttprivate
meet(abstract_object_pointert op1, abstract_object_pointert op2, bool &out_modifications)abstract_objecttstatic
meet(const abstract_object_pointert &other) constabstract_objecttvirtual
merge(abstract_object_pointert other) const overridefull_array_abstract_objecttprotectedvirtual
abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >::merge(abstract_object_pointert op1, abstract_object_pointert op2, bool &out_modifications)abstract_objecttstatic
abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >::merge(abstract_object_pointert op1, abstract_object_pointert op2)abstract_objecttstatic
merge_shared_maps(const sharing_mapt< keyt, abstract_object_pointert, false, hash > &map1, const sharing_mapt< keyt, abstract_object_pointert, false, hash > &map2, sharing_mapt< keyt, abstract_object_pointert, false, hash > &out_map)abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inlineprotectedstatic
mutable_clone() constabstract_objecttinlineprotectedvirtual
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const overridefull_array_abstract_objectt
abstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >::output(std::ostream &out, const class ai_baset &ai, const namespacet &ns) constabstract_objecttvirtual
read_component(const abstract_environmentt &env, const exprt &expr, const namespacet &ns) const overridefull_array_abstract_objecttprotectedvirtual
read_element(const abstract_environmentt &env, const exprt &expr, const namespacet &ns) constfull_array_abstract_objecttprivate
set_not_top()abstract_objecttinlineprotected
set_not_top_internal()abstract_objecttinlineprivatevirtual
set_top()abstract_objecttinlineprotected
set_top_internal() overridefull_array_abstract_objecttprotectedvirtual
shared_array_mapt typedeffull_array_abstract_objecttprivate
shared_mapt typedefabstract_objectt
should_use_base_meet(const abstract_object_pointert &other) constabstract_objecttprotected
should_use_base_merge(const abstract_object_pointert other) constabstract_objecttprotected
statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const overridefull_array_abstract_objecttprotectedvirtual
tabstract_objecttprivate
to_constant() constabstract_objecttvirtual
topabstract_objecttprivate
type() constabstract_objecttvirtual
unwrap_context() constabstract_objecttvirtual
update_location_context(const locationst &locations, const bool update_sub_elements) constabstract_objecttvirtual
verify() const overridefull_array_abstract_objecttprotectedvirtual
visit_sub_elements(const abstract_object_visitort &visitor) const overridefull_array_abstract_objecttvirtual
write(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const exprt &specifier, const abstract_object_pointert &value, bool merging_write) const overrideabstract_aggregate_objectt< full_array_abstract_objectt, array_aggregate_typet >inlinevirtual
write_component(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const exprt &expr, const abstract_object_pointert &value, bool merging_write) const overridefull_array_abstract_objecttprotectedvirtual
write_element(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const exprt &expr, const abstract_object_pointert &value, bool merging_write) constfull_array_abstract_objecttprivate
write_leaf_element(abstract_environmentt &environment, const namespacet &ns, const exprt &expr, const abstract_object_pointert &value, bool merging_write) constfull_array_abstract_objecttprivate
write_sub_element(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const exprt &expr, const abstract_object_pointert &value, bool merging_write) constfull_array_abstract_objecttprivate
~abstract_objectt()abstract_objecttinlinevirtual