cprover
|
This is the complete list of members for rd_range_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 |
bv_container | rd_range_domaint | private |
clear_cache(const irep_idt &identifier) const | rd_range_domaint | inline |
export_cache | rd_range_domaint | mutableprivate |
export_cachet typedef | rd_range_domaint | private |
gen(locationt from, const irep_idt &identifier, const range_spect &range_start, const range_spect &range_end) | rd_range_domaint | private |
get(const irep_idt &identifier) const | rd_range_domaint | |
has_values | rd_range_domaint | private |
kill(const irep_idt &identifier, const range_spect &range_start, const range_spect &range_end) | rd_range_domaint | private |
kill_inf(const irep_idt &identifier, const range_spect &range_start) | rd_range_domaint | private |
locationt typedef | ai_domain_baset | |
make_bottom() final | rd_range_domaint | inlinevirtual |
make_entry() final | rd_range_domaint | inlinevirtual |
make_top() final | rd_range_domaint | inlinevirtual |
merge(const rd_range_domaint &other, locationt from, locationt to) | rd_range_domaint | |
merge_inner(values_innert &dest, const values_innert &other) | rd_range_domaint | private |
merge_shared(const rd_range_domaint &other, locationt from, locationt to, const namespacet &ns) | rd_range_domaint | |
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final | rd_range_domaint | inlinevirtual |
output(std::ostream &out) const | rd_range_domaint | private |
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 |
populate_cache(const irep_idt &identifier) const | rd_range_domaint | private |
ranges_at_loct typedef | rd_range_domaint | |
rangest typedef | rd_range_domaint | |
rd_range_domaint() | rd_range_domaint | inline |
set_bitvector_container(sparse_bitvector_analysist< reaching_definitiont > &_bv_container) | rd_range_domaint | inline |
transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final | rd_range_domaint | |
ai_domain_baset::transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)=0 | ai_domain_baset | pure virtual |
transform_assign(const namespacet &ns, locationt from, locationt to, reaching_definitions_analysist &rd) | rd_range_domaint | private |
transform_dead(const namespacet &ns, locationt from) | rd_range_domaint | private |
transform_end_function(const namespacet &ns, locationt from, locationt to, reaching_definitions_analysist &rd) | rd_range_domaint | private |
transform_function_call(const namespacet &ns, locationt from, locationt to, reaching_definitions_analysist &rd) | rd_range_domaint | private |
transform_start_thread(const namespacet &ns, reaching_definitions_analysist &rd) | rd_range_domaint | private |
values | rd_range_domaint | private |
values_innert typedef | rd_range_domaint | private |
valuest typedef | rd_range_domaint | private |
~ai_domain_baset() | ai_domain_baset | inlinevirtual |