cprover
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_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

proptprop
 
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 
)
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 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
protected

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
protected

Definition at line 80 of file boolbv_map.h.


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