cprover
|
#include <boolbv_map.h>
Public Member Functions | |
map_entryt () | |
std::string | get_value (const propt &) const |
Public Attributes | |
std::size_t | width |
bvtypet | bvtype |
typet | type |
literal_mapt | literal_map |
Definition at line 40 of file boolbv_map.h.
|
inline |
Definition at line 43 of file boolbv_map.h.
std::string boolbv_mapt::map_entryt::get_value | ( | const propt & | prop | ) | const |
Definition at line 21 of file boolbv_map.cpp.
bvtypet boolbv_mapt::map_entryt::bvtype |
Definition at line 48 of file boolbv_map.h.
literal_mapt boolbv_mapt::map_entryt::literal_map |
Definition at line 50 of file boolbv_map.h.
typet boolbv_mapt::map_entryt::type |
Definition at line 49 of file boolbv_map.h.
std::size_t boolbv_mapt::map_entryt::width |
Definition at line 47 of file boolbv_map.h.