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 18 of file boolbv_width.cpp.
boolbv_widtht::~boolbv_widtht | ( | ) |
Definition at line 22 of file boolbv_width.cpp.
|
protected |
Definition at line 26 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 204 of file boolbv_width.cpp.
|
inline |
Definition at line 22 of file boolbv_width.h.
|
mutableprotected |
Definition at line 48 of file boolbv_width.h.
|
protected |
Definition at line 37 of file boolbv_width.h.