cprover
boolbv_widtht Class Reference

#include <boolbv_width.h>

+ Collaboration diagram for boolbv_widtht:

Classes

struct  entryt
 
struct  membert
 

Public Member Functions

 boolbv_widtht (const namespacet &_ns)
 
 ~boolbv_widtht ()
 
std::size_t operator() (const typet &type) const
 
const membertget_member (const struct_typet &type, const irep_idt &member) const
 

Protected Types

typedef std::unordered_map< typet, entryt, irep_hashcachet
 

Protected Member Functions

const entrytget_entry (const typet &type) const
 

Protected Attributes

const namespacetns
 
cachet cache
 

Detailed Description

Definition at line 16 of file boolbv_width.h.

Member Typedef Documentation

◆ cachet

typedef std::unordered_map<typet, entryt, irep_hash> boolbv_widtht::cachet
protected

Definition at line 45 of file boolbv_width.h.

Constructor & Destructor Documentation

◆ boolbv_widtht()

boolbv_widtht::boolbv_widtht ( const namespacet _ns)
explicit

Definition at line 18 of file boolbv_width.cpp.

◆ ~boolbv_widtht()

boolbv_widtht::~boolbv_widtht ( )

Definition at line 22 of file boolbv_width.cpp.

Member Function Documentation

◆ get_entry()

const boolbv_widtht::entryt & boolbv_widtht::get_entry ( const typet type) const
protected

Definition at line 26 of file boolbv_width.cpp.

◆ get_member()

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.

◆ operator()()

std::size_t boolbv_widtht::operator() ( const typet type) const
inline

Definition at line 22 of file boolbv_width.h.

Member Data Documentation

◆ cache

cachet boolbv_widtht::cache
mutableprotected

Definition at line 48 of file boolbv_width.h.

◆ ns

const namespacet& boolbv_widtht::ns
protected

Definition at line 37 of file boolbv_width.h.


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