cprover
|
This is the complete list of members for two_value_struct_abstract_objectt, including all inherited members.
abstract_aggregate_baset typedef | two_value_struct_abstract_objectt | |
abstract_aggregate_objectt(const typet &type) | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlineexplicit |
abstract_aggregate_objectt(const typet &type, bool tp, bool bttm) | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inline |
abstract_aggregate_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inline |
abstract_object_meet(const abstract_object_pointert &other) const | abstract_objectt | protected |
abstract_object_meet_internal(const abstract_object_pointert &other) const | abstract_objectt | privatevirtual |
abstract_object_merge(const abstract_object_pointert other) const | abstract_objectt | protected |
abstract_object_merge_internal(const abstract_object_pointert other) const | abstract_objectt | privatevirtual |
abstract_objectt(const typet &type) | abstract_objectt | explicit |
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 | |
bottom | abstract_objectt | private |
clear_top() const | abstract_objectt | inline |
dump_map(std::ostream out, const shared_mapt &m) | abstract_objectt | static |
dump_map_diff(std::ostream out, const shared_mapt &m1, const shared_mapt &m2) | abstract_objectt | static |
expression_transform(const exprt &expr, const std::vector< abstract_object_pointert > &operands, const abstract_environmentt &environment, const namespacet &ns) const override | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlinevirtual |
get_statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const override | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlinevirtual |
has_been_modified(const abstract_object_pointert before) const | abstract_objectt | inlinevirtual |
internal_abstract_object_pointert typedef | abstract_objectt | protected |
internal_equality(const abstract_object_pointert &other) const | abstract_objectt | inlinevirtual |
internal_hash() const | abstract_objectt | inlinevirtual |
internal_sharing_ptrt typedef | abstract_objectt | protected |
is_bottom() const | abstract_objectt | virtual |
is_top() const | abstract_objectt | virtual |
locationst typedef | abstract_objectt | |
make_top() const | abstract_objectt | inline |
meet(abstract_object_pointert op1, abstract_object_pointert op2, bool &out_modifications) | abstract_objectt | static |
meet(const abstract_object_pointert &other) const | abstract_objectt | virtual |
merge(abstract_object_pointert op1, abstract_object_pointert op2, bool &out_modifications) | abstract_objectt | static |
merge(abstract_object_pointert op1, abstract_object_pointert op2) | abstract_objectt | static |
merge(abstract_object_pointert other) const | abstract_objectt | protectedvirtual |
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< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlineprotectedstatic |
mutable_clone() const | abstract_objectt | inlineprotectedvirtual |
output(std::ostream &out, const class ai_baset &ai, const namespacet &ns) const | abstract_objectt | virtual |
read_component(const abstract_environmentt &environment, const exprt &expr, const namespacet &ns) const | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlineprotectedvirtual |
set_not_bottom() | abstract_objectt | inlineprotected |
set_not_top() | abstract_objectt | inlineprotected |
set_not_top_internal() | abstract_objectt | inlineprivatevirtual |
set_top() | abstract_objectt | inlineprotected |
set_top_internal() | abstract_objectt | inlineprivatevirtual |
shared_mapt typedef | abstract_objectt | |
should_use_base_meet(const abstract_object_pointert &other) const | abstract_objectt | protected |
should_use_base_merge(const abstract_object_pointert other) const | abstract_objectt | protected |
statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const override | two_value_struct_abstract_objectt | inlineprotectedvirtual |
t | abstract_objectt | private |
to_constant() const | abstract_objectt | virtual |
top | abstract_objectt | private |
two_value_struct_abstract_objectt(const typet &type) | two_value_struct_abstract_objectt | inlineexplicit |
two_value_struct_abstract_objectt(const typet &type, bool top, bool bottom) | two_value_struct_abstract_objectt | inline |
two_value_struct_abstract_objectt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) | two_value_struct_abstract_objectt | inline |
type() const | abstract_objectt | virtual |
unwrap_context() const | abstract_objectt | virtual |
update_location_context(const locationst &locations, const bool update_sub_elements) const | abstract_objectt | virtual |
verify() const | abstract_objectt | virtual |
visit_sub_elements(const abstract_object_visitort &visitor) const | abstract_objectt | inlinevirtual |
write(abstract_environmentt &environment, const namespacet &ns, const std::stack< exprt > &stack, const exprt &specifier, const abstract_object_pointert &value, bool merging_write) const override | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_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 | abstract_aggregate_objectt< two_value_struct_abstract_objectt, struct_aggregate_typet > | inlineprotectedvirtual |
~abstract_objectt() | abstract_objectt | inlinevirtual |