cprover
boolbv_mapt Class Reference

#include <boolbv_map.h>

Collaboration diagram for boolbv_mapt:
[legend]

Classes

struct  map_bitt
 
class  map_entryt
 

Public Types

typedef std::vector< map_bittliteral_mapt
 
typedef std::unordered_map< irep_idt, map_entryt, irep_id_hashmappingt
 

Public Member Functions

 boolbv_mapt (propt &_prop, const namespacet &_ns, 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)
 

Public Attributes

mappingt mapping
 

Protected Attributes

proptprop
 
const namespacetns
 
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 41 of file boolbv_map.h.

§ mappingt

typedef std::unordered_map<irep_idt, map_entryt, irep_id_hash> 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

§ get_literals()

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

§ get_map_entry()

§ set_literals()

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

§ show()

void boolbv_mapt::show ( ) const

Definition at line 75 of file boolbv_map.cpp.

References mapping.

Member Data Documentation

§ boolbv_width

const boolbv_widtht& boolbv_mapt::boolbv_width
protected

Definition at line 81 of file boolbv_map.h.

Referenced by get_map_entry().

§ mapping

mappingt boolbv_mapt::mapping

§ ns

const namespacet& boolbv_mapt::ns
protected

Definition at line 80 of file boolbv_map.h.

Referenced by get_map_entry().

§ prop

propt& boolbv_mapt::prop
protected

Definition at line 79 of file boolbv_map.h.

Referenced by get_literals(), and set_literals().


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