CBMC: Member List

CBMC
Loading...
Searching...
No Matches
write_location_contextt Member List

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

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 override write_location_contextt protectedvirtual
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
clear_top() const abstract_objectt inline
combine(const write_location_context_ptrt &other, combine_fn fn) const write_location_contextt private
context_abstract_objectt(const abstract_object_pointert child, const typet &type, bool top, bool bottom) context_abstract_objectt inline
context_abstract_objectt(const abstract_object_pointert child, const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) context_abstract_objectt inlineexplicit
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
envelop(abstract_object_pointert &child) const context_abstract_objectt
expression_transform(const exprt &expr, const std::vector< abstract_object_pointert > &operands, const abstract_environmentt &environment, const namespacet &ns) const override context_abstract_objectt virtual
get_location_union(const locationst &locations) const write_location_contextt
get_statistics(abstract_object_statisticst &statistics, abstract_object_visitedt &visited, const abstract_environmentt &env, const namespacet &ns) const override context_abstract_objectt virtual
has_been_modified(const abstract_object_pointert &before) const override write_location_contextt virtual
internal_equality(const abstract_object_pointert &other) const abstract_objectt inlinevirtual
internal_hash() const abstract_objectt inlinevirtual
is_bottom() const override context_abstract_objectt inlinevirtual
is_top() const override context_abstract_objectt inlinevirtual
make_top() const abstract_objectt inline
meet(const abstract_object_pointert &other) const override write_location_contextt protectedvirtual
context_abstract_objectt::meet(const abstract_object_pointert &op1, const abstract_object_pointert &op2) abstract_objectt static
merge(const abstract_object_pointert &other, const widen_modet &widen_mode) const override write_location_contextt protectedvirtual
context_abstract_objectt::merge(const abstract_object_pointert &op1, const abstract_object_pointert &op2, const locationt &merge_location, const widen_modet &widen_mode) abstract_objectt static
context_abstract_objectt::merge(const abstract_object_pointert &op1, const abstract_object_pointert &op2, const widen_modet &widen_mode) abstract_objectt static
merge_location_context(const locationt &location) const abstract_objectt virtual
mutable_clone() const override write_location_contextt inlineprotectedvirtual
output(std::ostream &out, const class ai_baset &ai, const namespacet &ns) const override write_location_contextt virtual
output_last_written_locations(std::ostream &out, const locationst &locations) write_location_contextt protectedstatic
set_child(const abstract_object_pointert &child) context_abstract_objectt protected
set_last_written_locations(const locationst &locations) write_location_contextt protected
set_not_bottom() abstract_objectt inlineprotected
set_not_top() abstract_objectt inlineprotected
set_not_top_internal() override context_abstract_objectt protectedvirtual
set_top() abstract_objectt inlineprotected
set_top_internal() override context_abstract_objectt protectedvirtual
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
to_constant() const override context_abstract_objectt inlinevirtual
to_predicate(const exprt &name) const abstract_objectt
to_predicate_internal(const exprt &name) const override context_abstract_objectt protectedvirtual
type() const override context_abstract_objectt inlinevirtual
unwrap_context() const override context_abstract_objectt virtual
update_location_context_internal(const locationst &locations) const override write_location_contextt privatevirtual
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 write_location_contextt protectedvirtual
write_location_context(const locationt &location) const override context_abstract_objectt virtual
write_location_contextt(const abstract_object_pointert child, const typet &type, bool top, bool bottom) write_location_contextt inline
write_location_contextt(const abstract_object_pointert child, const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) write_location_contextt inlineexplicit

AltStyle によって変換されたページ (->オリジナル) /