cprover
|
#include <boolbv_width.h>
Public Attributes | |
std::size_t | offset |
std::size_t | width |
Definition at line 27 of file boolbv_width.h.
std::size_t boolbv_widtht::membert::offset |
Definition at line 29 of file boolbv_width.h.
std::size_t boolbv_widtht::membert::width |
Definition at line 29 of file boolbv_width.h.