boolbv_widtht::defined_entryt Struct Reference
#include <boolbv_width.h>
Collaboration diagram for boolbv_widtht::defined_entryt:Public Member Functions | |
| defined_entryt (std::size_t total_width) | |
Public Attributes | |
| std::size_t | total_width |
| std::vector< membert > | members |
Detailed Description
Definition at line 50 of file boolbv_width.h.
Constructor & Destructor Documentation
◆ defined_entryt()
|
inlineexplicit |
Definition at line 52 of file boolbv_width.h.
Member Data Documentation
◆ members
| std::vector<membert> boolbv_widtht::defined_entryt::members |
Definition at line 57 of file boolbv_width.h.
◆ total_width
| std::size_t boolbv_widtht::defined_entryt::total_width |
Definition at line 56 of file boolbv_width.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/flattening/boolbv_width.h
