cprover
bv_pointerst::bv_pointers_widtht Class Reference

#include <bv_pointers.h>

+ 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
 
const membertget_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_hashcachet
 
- Protected Member Functions inherited from boolbv_widtht
const entrytget_entry (const typet &type) const
 
- Protected Attributes inherited from boolbv_widtht
const namespacetns
 
cachet cache
 

Detailed Description

Definition at line 40 of file bv_pointers.h.

Constructor & Destructor Documentation

◆ bv_pointers_widtht()

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

Definition at line 43 of file bv_pointers.h.

Member Function Documentation

◆ get_address_width()

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.

◆ get_object_width()

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.

◆ get_offset_width()

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.

◆ operator()()

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: