cprover
|
This is the complete list of members for escape_domaint, including all inherited members.
ai_domain_baset() | ai_domain_baset | inline |
ai_simplify(exprt &condition, const namespacet &ns) const | ai_domain_baset | inlinevirtual |
ai_simplify_lhs(exprt &condition, const namespacet &ns) const | ai_domain_baset | virtual |
aliases | escape_domaint | |
aliasest typedef | escape_domaint | |
assign_lhs_aliases(const exprt &, const std::set< irep_idt > &) | escape_domaint | private |
assign_lhs_cleanup(const exprt &, const std::set< irep_idt > &) | escape_domaint | private |
check_lhs(const exprt &, std::set< irep_idt > &) | escape_domaint | private |
cleanup_map | escape_domaint | |
cleanup_mapt typedef | escape_domaint | |
escape_analysist class | escape_domaint | friend |
escape_domaint() | escape_domaint | inline |
get_function(const exprt &) | escape_domaint | private |
get_rhs_aliases(const exprt &, std::set< irep_idt > &) | escape_domaint | private |
get_rhs_aliases_address_of(const exprt &, std::set< irep_idt > &) | escape_domaint | private |
get_rhs_cleanup(const exprt &, std::set< irep_idt > &) | escape_domaint | private |
has_values | escape_domaint | private |
is_tracked(const symbol_exprt &) | escape_domaint | private |
locationt typedef | ai_domain_baset | |
make_bottom() final | escape_domaint | inlinevirtual |
make_entry() final | escape_domaint | inlinevirtual |
make_top() final | escape_domaint | inlinevirtual |
merge(const escape_domaint &b, locationt from, locationt to) | escape_domaint | |
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final | escape_domaint | virtual |
output_json(const ai_baset &ai, const namespacet &ns) const | ai_domain_baset | virtual |
output_xml(const ai_baset &ai, const namespacet &ns) const | ai_domain_baset | virtual |
transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final | escape_domaint | |
ai_domain_baset::transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)=0 | ai_domain_baset | pure virtual |
~ai_domain_baset() | ai_domain_baset | inlinevirtual |