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.

Member Function Documentation

◆ get_value()

std::string boolbv_mapt::map_entryt::get_value ( const propt prop) const

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

Definition at line 50 of file boolbv_map.h.

Referenced by boolbvt::get(), and boolbv_mapt::get_map_entry().


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