Inheritance diagram for bv_pointerst::bv_pointers_widtht:

Collaboration diagram for bv_pointerst::bv_pointers_widtht:

Public Member Functions
	bv_pointers_widtht (const namespacet &_ns)

std::size_t	operator() (const typet &type) const override

std::size_t	get_object_width (const pointer_typet &type) const

std::size_t	get_offset_width (const pointer_typet &type) const

std::size_t	get_address_width (const pointer_typet &type) const

Public Member Functions inherited from boolbv_widtht
	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

Additional Inherited Members
Protected Types inherited from boolbv_widtht
typedef std::unordered_map< typet, entryt, irep_hash >	cachet

Protected Member Functions inherited from boolbv_widtht
const entryt &	get_entry (const typet &type) const

Protected Attributes inherited from boolbv_widtht
const namespacet &	ns

cachet	cache

Detailed Description

Definition at line 40 of file bv_pointers.h.

Constructor & Destructor Documentation

bv_pointerst::bv_pointers_widtht::bv_pointers_widtht ( const namespacet & _ns )

inlineexplicit

Definition at line 43 of file bv_pointers.h.

std::size_t bv_pointerst::bv_pointers_widtht::get_address_width ( const pointer_typet & type ) const

Definition at line 111 of file bv_pointers.cpp.

std::size_t bv_pointerst::bv_pointers_widtht::get_object_width ( const pointer_typet & type ) const

Definition at line 94 of file bv_pointers.cpp.

std::size_t bv_pointerst::bv_pointers_widtht::get_offset_width ( const pointer_typet & type ) const

Definition at line 102 of file bv_pointers.cpp.

std::size_t bv_pointerst::bv_pointers_widtht::operator() ( const typet & type ) const

overridevirtual

Reimplemented from boolbv_widtht.

Definition at line 73 of file bv_pointers.cpp.

The documentation for this class was generated from the following files: