cprover
escape_domaint Member List

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

ai_domain_baset()ai_domain_basetinline
ai_simplify(exprt &condition, const namespacet &ns) constai_domain_basetinlinevirtual
ai_simplify_lhs(exprt &condition, const namespacet &ns) constai_domain_basetvirtual
aliasesescape_domaint
aliasest typedefescape_domaint
assign_lhs_aliases(const exprt &, const std::set< irep_idt > &)escape_domaintprivate
assign_lhs_cleanup(const exprt &, const std::set< irep_idt > &)escape_domaintprivate
check_lhs(const exprt &, std::set< irep_idt > &)escape_domaintprivate
cleanup_mapescape_domaint
cleanup_mapt typedefescape_domaint
escape_analysist classescape_domaintfriend
escape_domaint()escape_domaintinline
get_function(const exprt &)escape_domaintprivate
get_rhs_aliases(const exprt &, std::set< irep_idt > &)escape_domaintprivate
get_rhs_aliases_address_of(const exprt &, std::set< irep_idt > &)escape_domaintprivate
get_rhs_cleanup(const exprt &, std::set< irep_idt > &)escape_domaintprivate
has_valuesescape_domaintprivate
is_tracked(const symbol_exprt &)escape_domaintprivate
locationt typedefai_domain_baset
make_bottom() finalescape_domaintinlinevirtual
make_entry() finalescape_domaintinlinevirtual
make_top() finalescape_domaintinlinevirtual
merge(const escape_domaint &b, locationt from, locationt to)escape_domaint
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const finalescape_domaintvirtual
output_json(const ai_baset &ai, const namespacet &ns) constai_domain_basetvirtual
output_xml(const ai_baset &ai, const namespacet &ns) constai_domain_basetvirtual
transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) finalescape_domaint
ai_domain_baset::transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)=0ai_domain_basetpure virtual
~ai_domain_baset()ai_domain_basetinlinevirtual