cprover
|
#include <boolbv_width.h>
Classes | |
struct | entryt |
struct | membert |
Public Member Functions | |
boolbv_widtht (const namespacet &_ns) | |
virtual | ~boolbv_widtht ()=default |
virtual 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 18 of file boolbv_width.h.
|
protected |
Definition at line 47 of file boolbv_width.h.
|
explicit |
Definition at line 19 of file boolbv_width.cpp.
|
virtualdefault |
|
protected |
Definition at line 23 of file boolbv_width.cpp.
const boolbv_widtht::membert & boolbv_widtht::get_member | ( | const struct_typet & | type, |
const irep_idt & | member | ||
) | const |
Definition at line 202 of file boolbv_width.cpp.
|
inlinevirtual |
Reimplemented in bv_pointerst::bv_pointers_widtht.
Definition at line 24 of file boolbv_width.h.
|
mutableprotected |
Definition at line 50 of file boolbv_width.h.
|
protected |
Definition at line 39 of file boolbv_width.h.