boolbv_mapt Class Reference

#include <boolbv_map.h>

+ Collaboration diagram for boolbv_mapt:


struct  map_bitt
class  map_entryt

Public Types

typedef std::vector< map_bittliteral_mapt
typedef std::unordered_map< irep_idt, map_entrytmappingt

Public Member Functions

 boolbv_mapt (propt &_prop, const boolbv_widtht &_boolbv_width)
void show () const
map_entrytget_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

const boolbv_widthtboolbv_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 38 of file boolbv_map.h.

◆ mappingt

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

Definition at line 55 of file boolbv_map.h.

Constructor & Destructor Documentation

◆ boolbv_mapt()

boolbv_mapt::boolbv_mapt ( propt _prop,
const boolbv_widtht _boolbv_width 

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 155 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 83 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 123 of file boolbv_map.cpp.

◆ show()

void boolbv_mapt::show ( ) const

Definition at line 74 of file boolbv_map.cpp.

Member Data Documentation

◆ boolbv_width

const boolbv_widtht& boolbv_mapt::boolbv_width

Definition at line 81 of file boolbv_map.h.

◆ mapping

mappingt boolbv_mapt::mapping

Definition at line 56 of file boolbv_map.h.

◆ prop

propt& boolbv_mapt::prop

Definition at line 80 of file boolbv_map.h.

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