cprover
boolbv_mapt::map_entryt Class Reference

#include <boolbv_map.h>

+ Collaboration diagram for boolbv_mapt::map_entryt:

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 40 of file boolbv_map.h.

Constructor & Destructor Documentation

◆ map_entryt()

boolbv_mapt::map_entryt::map_entryt ( )
inline

Definition at line 43 of file boolbv_map.h.

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.

Member Data Documentation

◆ bvtype

bvtypet boolbv_mapt::map_entryt::bvtype

Definition at line 48 of file boolbv_map.h.

◆ literal_map

literal_mapt boolbv_mapt::map_entryt::literal_map

Definition at line 50 of file boolbv_map.h.

◆ type

typet boolbv_mapt::map_entryt::type

Definition at line 49 of file boolbv_map.h.

◆ width

std::size_t boolbv_mapt::map_entryt::width

Definition at line 47 of file boolbv_map.h.


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