cprover
|
#include <boolbv_map.h>
Classes | |
struct | map_bitt |
class | map_entryt |
Public Types | |
typedef std::vector< map_bitt > | literal_mapt |
typedef std::unordered_map< irep_idt, map_entryt > | mappingt |
Public Member Functions | |
boolbv_mapt (propt &_prop, const boolbv_widtht &_boolbv_width) | |
void | show () const |
map_entryt & | get_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 | |
propt & | prop |
const boolbv_widtht & | boolbv_width |
Definition at line 23 of file boolbv_map.h.
typedef std::vector<map_bitt> boolbv_mapt::literal_mapt |
Definition at line 38 of file boolbv_map.h.
typedef std::unordered_map<irep_idt, map_entryt> boolbv_mapt::mappingt |
Definition at line 55 of file boolbv_map.h.
|
inline |
Definition at line 26 of file boolbv_map.h.
Definition at line 155 of file boolbv_map.cpp.
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.
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.
void boolbv_mapt::set_literals | ( | const irep_idt & | identifier, |
const typet & | type, | ||
const bvt & | literals | ||
) |
Definition at line 123 of file boolbv_map.cpp.
void boolbv_mapt::show | ( | ) | const |
Definition at line 74 of file boolbv_map.cpp.
|
protected |
Definition at line 81 of file boolbv_map.h.
mappingt boolbv_mapt::mapping |
Definition at line 56 of file boolbv_map.h.
|
protected |
Definition at line 80 of file boolbv_map.h.