boolbv_mapt Class Reference

#include <boolbv_map.h>

Collaboration diagram for boolbv_mapt:

Classes
struct	map_bitt
class	map_entryt

Public Types
typedef std::vector< map_bitt >	literal_mapt
typedef std::unordered_map< irep_idt, map_entryt >	mappingt

Public Member Functions
	boolbv_mapt (propt &_prop, const namespacet &_ns, const boolbv_widtht &_boolbv_width)
void	show () const
map_entryt &	get_map_entry (const irep_idt &identifier, const typet &type)
void	get_literals (const irep_idt &identifier, const typet &type, const std::size_t width, bvt &literals)
void	set_literals (const irep_idt &identifier, const typet &type, const bvt &literals)
void	erase_literals (const irep_idt &identifier, const typet &type)

Public Attributes
mappingt	mapping

Protected Attributes
propt &	prop
const namespacet &	ns
const boolbv_widtht &	boolbv_width

Detailed Description

Definition at line 23 of file boolbv_map.h.

Member Typedef Documentation

literal_mapt

typedef std::vector<map_bitt> boolbv_mapt::literal_mapt

Definition at line 41 of file boolbv_map.h.

mappingt

typedef std::unordered_map<irep_idt, map_entryt> boolbv_mapt::mappingt

Definition at line 58 of file boolbv_map.h.

Constructor & Destructor Documentation

boolbv_mapt()

boolbv_mapt::boolbv_mapt ( propt &  _prop, const namespacet &  _ns, const boolbv_widtht &  _boolbv_width  )

inline

Definition at line 26 of file boolbv_map.h.

Member Function Documentation

erase_literals()

void boolbv_mapt::erase_literals	(	const irep_idt &	identifier,
		const typet &	type
	)

Definition at line 158 of file boolbv_map.cpp.

get_literals()

void boolbv_mapt::get_literals	(	const irep_idt &	identifier,
		const typet &	type,
		const std::size_t	width,
		bvt &	literals
	)

Definition at line 86 of file boolbv_map.cpp.

get_map_entry()

boolbv_mapt::map_entryt & boolbv_mapt::get_map_entry	(	const irep_idt &	identifier,
		const typet &	type
	)

Definition at line 49 of file boolbv_map.cpp.

set_literals()

void boolbv_mapt::set_literals	(	const irep_idt &	identifier,
		const typet &	type,
		const bvt &	literals
	)

Definition at line 126 of file boolbv_map.cpp.

show()

void boolbv_mapt::show

(

)

const

Definition at line 77 of file boolbv_map.cpp.

Member Data Documentation

boolbv_width

const boolbv_widtht& boolbv_mapt::boolbv_width

protected

Definition at line 85 of file boolbv_map.h.

mapping

mappingt boolbv_mapt::mapping

Definition at line 59 of file boolbv_map.h.

ns

const namespacet& boolbv_mapt::ns

protected

Definition at line 84 of file boolbv_map.h.

prop

propt& boolbv_mapt::prop

protected

Definition at line 83 of file boolbv_map.h.

---

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

• solvers/flattening/boolbv_map.h
• solvers/flattening/boolbv_map.cpp