#include <boolbv_map.h>

Collaboration diagram for boolbv_mapt:

Classes
class	map_entryt

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

Public Member Functions
	boolbv_mapt (propt &_prop)

void	show (std::ostream &out) const

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

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

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

std::optional< std::reference_wrapper< const map_entryt > >	get_map_entry (const irep_idt &identifier) const

const mappingt &	get_mapping () const

Protected Attributes
mappingt	mapping

propt &	prop

Detailed Description

Definition at line 22 of file boolbv_map.h.

Member Typedef Documentation

◆ mappingt

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

Definition at line 38 of file boolbv_map.h.

Constructor & Destructor Documentation

◆ boolbv_mapt()

boolbv_mapt::boolbv_mapt ( propt & _prop )

inlineexplicit

Definition at line 25 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 118 of file boolbv_map.cpp.

◆ get_literals()

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

Definition at line 41 of file boolbv_map.cpp.

◆ get_map_entry()

std::optional< std::reference_wrapper< const map_entryt > > boolbv_mapt::get_map_entry ( const irep_idt & identifier ) const

inline

Definition at line 57 of file boolbv_map.h.

◆ get_mapping()

const mappingt & boolbv_mapt::get_mapping ( ) const

inline

Definition at line 67 of file boolbv_map.h.

◆ set_literals()

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

Definition at line 75 of file boolbv_map.cpp.

◆ show()

void boolbv_mapt::show ( std::ostream & out ) const

Definition at line 35 of file boolbv_map.cpp.

Member Data Documentation

◆ mapping

mappingt boolbv_mapt::mapping

protected

Definition at line 73 of file boolbv_map.h.

◆ prop

propt& boolbv_mapt::prop