#include <boolbv_map.h>
Definition at line 22 of file boolbv_map.h.
◆ mappingt
◆ boolbv_mapt()
boolbv_mapt::boolbv_mapt |
( |
propt & | _prop | ) |
|
|
inlineexplicit |
◆ erase_literals()
void boolbv_mapt::erase_literals |
( |
const irep_idt & | identifier, |
|
|
const typet & | type ) |
◆ get_literals()
const bvt & boolbv_mapt::get_literals |
( |
const irep_idt & | identifier, |
|
|
const typet & | type, |
|
|
std::size_t | width ) |
◆ get_map_entry()
std::optional< std::reference_wrapper< const map_entryt > > boolbv_mapt::get_map_entry |
( |
const irep_idt & | identifier | ) |
const |
|
inline |
◆ get_mapping()
const mappingt & boolbv_mapt::get_mapping |
( |
| ) |
const |
|
inline |
◆ set_literals()
void boolbv_mapt::set_literals |
( |
const irep_idt & | identifier, |
|
|
const typet & | type, |
|
|
const bvt & | literals ) |
◆ show()
void boolbv_mapt::show |
( |
std::ostream & | out | ) |
const |
◆ mapping
◆ prop
The documentation for this class was generated from the following files: