boolbv_widtht::membert Struct Reference

#include <boolbv_width.h>

Public Attributes
std::size_t	offset
std::size_t	width

Detailed Description

Definition at line 39 of file boolbv_width.h.

Member Data Documentation

offset

std::size_t boolbv_widtht::membert::offset

Definition at line 41 of file boolbv_width.h.

width

std::size_t boolbv_widtht::membert::width

Definition at line 41 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