cprover
|
This is the complete list of members for custom_bitvector_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 |
assign_lhs(const exprt &, const vectorst &) | custom_bitvector_domaint | |
assign_lhs(const irep_idt &, const vectorst &) | custom_bitvector_domaint | |
bit_vectort typedef | custom_bitvector_domaint | |
bitst typedef | custom_bitvector_domaint | |
clear_bit(bit_vectort &dest, unsigned bit_nr) | custom_bitvector_domaint | inlineprivatestatic |
custom_bitvector_domaint() | custom_bitvector_domaint | inline |
erase_blank_vectors(bitst &) | custom_bitvector_domaint | private |
eval(const exprt &src, custom_bitvector_analysist &) const | custom_bitvector_domaint | |
get_bit(const bit_vectort src, unsigned bit_nr) | custom_bitvector_domaint | inlineprivatestatic |
get_rhs(const exprt &) const | custom_bitvector_domaint | |
get_rhs(const irep_idt &) const | custom_bitvector_domaint | |
has_get_must_or_may(const exprt &) | custom_bitvector_domaint | static |
has_values | custom_bitvector_domaint | |
locationt typedef | ai_domain_baset | |
make_bottom() final | custom_bitvector_domaint | inlinevirtual |
make_entry() final | custom_bitvector_domaint | inlinevirtual |
make_top() final | custom_bitvector_domaint | inlinevirtual |
may_bits | custom_bitvector_domaint | |
merge(const custom_bitvector_domaint &b, locationt from, locationt to) | custom_bitvector_domaint | |
merge(const vectorst &a, const vectorst &b) | custom_bitvector_domaint | inlinestatic |
modet enum name | custom_bitvector_domaint | private |
must_bits | custom_bitvector_domaint | |
object2id(const exprt &) | custom_bitvector_domaint | privatestatic |
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final | custom_bitvector_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 |
set_bit(const exprt &, unsigned bit_nr, modet) | custom_bitvector_domaint | private |
set_bit(const irep_idt &, unsigned bit_nr, modet) | custom_bitvector_domaint | private |
set_bit(bit_vectort &dest, unsigned bit_nr) | custom_bitvector_domaint | inlineprivatestatic |
transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final | custom_bitvector_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 |