cprover
constant_pointer_abstract_objectt Member List

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

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
abstract_pointer_objectt(const typet &type)abstract_pointer_objecttexplicit
abstract_pointer_objectt(const typet &type, bool top, bool bottom)abstract_pointer_objectt
abstract_pointer_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)abstract_pointer_objecttexplicit
bottomabstract_objecttprivate
clear_top() constabstract_objecttinline
constant_pointer_abstract_objectt(const typet &type)constant_pointer_abstract_objecttexplicit
constant_pointer_abstract_objectt(const typet &type, bool top, bool bottom)constant_pointer_abstract_objectt
constant_pointer_abstract_objectt(const constant_pointer_abstract_objectt &old)constant_pointer_abstract_objectt
constant_pointer_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns)constant_pointer_abstract_objectt
constant_pointer_abstract_pointert typedefconstant_pointer_abstract_objecttprivate
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_pointer_objecttvirtual
get_statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const overrideconstant_pointer_abstract_objecttvirtual
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
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 op1) const overrideconstant_pointer_abstract_objecttprotectedvirtual
abstract_pointer_objectt::merge(abstract_object_pointert op1, abstract_object_pointert op2, bool &out_modifications)abstract_objecttstatic
abstract_pointer_objectt::merge(abstract_object_pointert op1, abstract_object_pointert op2)abstract_objecttstatic
merge_constant_pointers(const constant_pointer_abstract_pointert &other) constconstant_pointer_abstract_objecttprivate
mutable_clone() constabstract_objecttinlineprotectedvirtual
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const overrideconstant_pointer_abstract_objectt
abstract_pointer_objectt::output(std::ostream &out, const class ai_baset &ai, const namespacet &ns) constabstract_objecttvirtual
read_dereference(const abstract_environmentt &env, const namespacet &ns) const overrideconstant_pointer_abstract_objecttvirtual
set_not_top()abstract_objecttinlineprotected
set_not_top_internal()abstract_objecttinlineprivatevirtual
set_top()abstract_objecttinlineprotected
set_top_internal()abstract_objecttinlineprivatevirtual
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
tabstract_objecttprivate
to_constant() const overrideconstant_pointer_abstract_objecttvirtual
topabstract_objecttprivate
type() constabstract_objecttvirtual
unwrap_context() constabstract_objecttvirtual
update_location_context(const locationst &locations, const bool update_sub_elements) constabstract_objecttvirtual
value_stackconstant_pointer_abstract_objecttprivate
verify() constabstract_objecttvirtual
visit_sub_elements(const abstract_object_visitort &visitor) constabstract_objecttinlinevirtual
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_pointer_objecttvirtual
write_dereference(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const abstract_object_pointert &value, bool merging_write) const overrideconstant_pointer_abstract_objecttvirtual
~abstract_objectt()abstract_objecttinlinevirtual