#include <bv_pointers.h>
Definition at line 40 of file bv_pointers.h.
◆ bv_pointers_widtht()
bv_pointerst::bv_pointers_widtht::bv_pointers_widtht |
( |
const namespacet & |
_ns | ) |
|
|
inlineexplicit |
◆ get_address_width()
std::size_t bv_pointerst::bv_pointers_widtht::get_address_width |
( |
const pointer_typet & |
type | ) |
const |
◆ get_object_width()
std::size_t bv_pointerst::bv_pointers_widtht::get_object_width |
( |
const pointer_typet & |
type | ) |
const |
◆ get_offset_width()
std::size_t bv_pointerst::bv_pointers_widtht::get_offset_width |
( |
const pointer_typet & |
type | ) |
const |
◆ operator()()
std::size_t bv_pointerst::bv_pointers_widtht::operator() |
( |
const typet & |
type | ) |
const |
|
overridevirtual |
The documentation for this class was generated from the following files: