cprover
|
#include <boolbv_width.h>
Classes | |
struct | entryt |
struct | membert |
Public Member Functions | |
boolbv_widtht (const namespacet &_ns) | |
~boolbv_widtht () | |
std::size_t | operator() (const typet &type) const |
const membert & | get_member (const struct_typet &type, const irep_idt &member) const |
Protected Types | |
typedef std::unordered_map< typet, entryt, irep_hash > | cachet |
Protected Member Functions | |
const entryt & | get_entry (const typet &type) const |
Protected Attributes | |
const namespacet & | ns |
cachet | cache |
Definition at line 16 of file boolbv_width.h.
|
protected |
Definition at line 45 of file boolbv_width.h.
|
explicit |
Definition at line 17 of file boolbv_width.cpp.
boolbv_widtht::~boolbv_widtht | ( | ) |
Definition at line 21 of file boolbv_width.cpp.
|
protected |
Definition at line 25 of file boolbv_width.cpp.
References address_bits(), cache, struct_union_typet::components(), enumeration_typet::elements(), namespace_baset::follow(), namespace_baset::follow_tag(), irept::get_string(), irept::get_unsigned_int(), bitvector_typet::get_width(), irept::id(), integer2unsigned(), boolbv_widtht::entryt::members, ns, operator()(), array_typet::size(), vector_typet::size(), string2integer(), typet::subtype(), to_array_type(), to_bv_type(), to_c_bit_field_type(), to_c_bool_type(), to_c_enum_tag_type(), to_enumeration_type(), to_fixedbv_type(), to_floatbv_type(), to_integer(), to_signedbv_type(), to_struct_tag_type(), to_struct_type(), to_union_tag_type(), to_union_type(), to_unsignedbv_type(), to_vector_type(), boolbv_widtht::entryt::total_width, and type_checked_cast().
Referenced by get_member(), and operator()().
const boolbv_widtht::membert & boolbv_widtht::get_member | ( | const struct_typet & | type, |
const irep_idt & | member | ||
) | const |
Definition at line 216 of file boolbv_width.cpp.
References struct_union_typet::component_number(), get_entry(), and boolbv_widtht::entryt::members.
Referenced by smt2_convt::convert_with().
|
inline |
Definition at line 22 of file boolbv_width.h.
References get_entry(), and boolbv_widtht::entryt::total_width.
Referenced by get_entry().
|
mutableprotected |
Definition at line 48 of file boolbv_width.h.
Referenced by get_entry().
|
protected |
Definition at line 37 of file boolbv_width.h.
Referenced by get_entry().