CBMC
Loading...
Searching...
No Matches
Classes | Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
boolbv_widtht Class Reference

#include <boolbv_width.h>

+ Collaboration diagram for boolbv_widtht:

Classes

struct   defined_entryt
 
struct   membert
 

Public Member Functions

 
 
virtual std::size_t  operator() (const typet &type) const
 
virtual std::optional< std::size_t >  get_width_opt (const typet &type) const
 
 

Protected Types

using  entryt = std::optional< defined_entryt >
 
typedef std::unordered_map< typet, entryt, irep_hashcachet
 

Protected Member Functions

 

Protected Attributes

 
 

Detailed Description

Definition at line 18 of file boolbv_width.h.

Member Typedef Documentation

◆  cachet

protected

Definition at line 61 of file boolbv_width.h.

◆  entryt

protected

Definition at line 59 of file boolbv_width.h.

Constructor & Destructor Documentation

◆  boolbv_widtht()

boolbv_widtht::boolbv_widtht ( const namespacet_ns )
explicit

Definition at line 19 of file boolbv_width.cpp.

◆  ~boolbv_widtht()

virtual boolbv_widtht::~boolbv_widtht ( )
virtualdefault

Member Function Documentation

◆  get_entry()

const boolbv_widtht::entryt & boolbv_widtht::get_entry ( const typettype ) const
protected

Definition at line 23 of file boolbv_width.cpp.

◆  get_member()

const boolbv_widtht::membert & boolbv_widtht::get_member ( const struct_typettype,
const irep_idtmember 
) const

Definition at line 226 of file boolbv_width.cpp.

◆  get_width_opt()

virtual std::optional< std::size_t > boolbv_widtht::get_width_opt ( const typettype ) const
inlinevirtual

Definition at line 31 of file boolbv_width.h.

◆  operator()()

virtual std::size_t boolbv_widtht::operator() ( const typettype ) const
inlinevirtual

Definition at line 24 of file boolbv_width.h.

Member Data Documentation

◆  cache

cachet boolbv_widtht::cache
mutableprotected

Definition at line 64 of file boolbv_width.h.

◆  ns

const namespacet& boolbv_widtht::ns
protected

Definition at line 48 of file boolbv_width.h.


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

AltStyle によって変換されたページ (->オリジナル) /