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