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.
Referenced by smt1_convt::convert_member(), smt1_convt::convert_with(), and smt2_convt::convert_with().
std::size_t boolbv_widtht::membert::width |
Definition at line 29 of file boolbv_width.h.
Referenced by smt2_convt::convert_with().