cprover
|
#include <boolbv_width.h>
Public Attributes | |
std::size_t | total_width |
std::vector< membert > | members |
Definition at line 39 of file boolbv_width.h.
std::vector<membert> boolbv_widtht::entryt::members |
Definition at line 42 of file boolbv_width.h.
std::size_t boolbv_widtht::entryt::total_width |
Definition at line 41 of file boolbv_width.h.