cprover
boolbv_mapt::map_entryt Class Reference

#include <boolbv_map.h>

Collaboration diagram for boolbv_mapt::map_entryt:
[legend]

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
 

Detailed Description

Definition at line 43 of file boolbv_map.h.

Constructor & Destructor Documentation

§ map_entryt()

boolbv_mapt::map_entryt::map_entryt ( )
inline

Definition at line 46 of file boolbv_map.h.

Referenced by boolbv_mapt::get_map_entry().

Member Function Documentation

§ get_value()

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.

Member Data Documentation

§ bvtype

bvtypet boolbv_mapt::map_entryt::bvtype

Definition at line 51 of file boolbv_map.h.

Referenced by boolbv_mapt::get_map_entry().

§ literal_map

§ type

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().

§ width

std::size_t boolbv_mapt::map_entryt::width

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