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 membert &	get_member (const struct_typet &type, const irep_idt &member) const

Protected Types
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 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 207 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:

• solvers/flattening/boolbv_width.h
• solvers/flattening/boolbv_width.cpp