boolbv_widtht Class Reference

#include <boolbv_width.h>

Collaboration diagram for boolbv_widtht:

Classes
struct	defined_entryt
struct	membert

Public Member Functions
	boolbv_widtht (const namespacet &_ns)
virtual	~boolbv_widtht ()=default
virtual std::size_t	operator() (const typet &type) const
virtual std::optional< std::size_t >	get_width_opt (const typet &type) const
const membert &	get_member (const struct_typet &type, const irep_idt &member) const

Protected Types
using	entryt = std::optional< defined_entryt >
typedef std::unordered_map< typet, entryt, irep_hash >	cachet

Protected Member Functions
const entryt &	get_entry (const typet &type) const

Protected Attributes
const namespacet &	ns
cachet	cache

Detailed Description

Definition at line 18 of file boolbv_width.h.

Member Typedef Documentation

cachet

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

protected

Definition at line 61 of file boolbv_width.h.

entryt

using boolbv_widtht::entryt = std::optional<defined_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 typet &  type ) const

protected

Definition at line 23 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 226 of file boolbv_width.cpp.

get_width_opt()

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

inlinevirtual

Definition at line 31 of file boolbv_width.h.

operator()()

virtual std::size_t boolbv_widtht::operator() ( const typet &  type ) 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:

• /home/runner/work/cbmc/cbmc/src/solvers/flattening/boolbv_width.h
• /home/runner/work/cbmc/cbmc/src/solvers/flattening/boolbv_width.cpp