cprover
Loading...
Searching...
No Matches
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: