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 43 of file boolbv_map.h.
|
inline |
Definition at line 46 of file boolbv_map.h.
Referenced by boolbv_mapt::get_map_entry().
std::string boolbv_mapt::map_entryt::get_value | ( | const propt & | prop | ) | const |
Definition at line 21 of file boolbv_map.cpp.
References tvt::is_false(), tvt::is_true(), propt::l_get(), and literal_map.
bvtypet boolbv_mapt::map_entryt::bvtype |
Definition at line 51 of file boolbv_map.h.
Referenced by boolbv_mapt::get_map_entry().
literal_mapt boolbv_mapt::map_entryt::literal_map |
Definition at line 53 of file boolbv_map.h.
Referenced by boolbvt::get(), boolbv_mapt::get_literals(), boolbv_mapt::get_map_entry(), get_value(), boolbvt::literal(), and boolbv_mapt::set_literals().
typet boolbv_mapt::map_entryt::type |
Definition at line 52 of file boolbv_map.h.
Referenced by boolbvt::get(), and boolbv_mapt::get_map_entry().
std::size_t boolbv_mapt::map_entryt::width |
Definition at line 50 of file boolbv_map.h.
Referenced by boolbvt::get(), boolbv_mapt::get_literals(), and boolbv_mapt::get_map_entry().