cprover
boolbv_widtht::entryt Struct Reference

#include <boolbv_width.h>

+ Collaboration diagram for boolbv_widtht::entryt:

Public Attributes

std::size_t total_width
 
std::vector< membertmembers
 

Detailed Description

Definition at line 39 of file boolbv_width.h.

Member Data Documentation

◆ members

std::vector<membert> boolbv_widtht::entryt::members

Definition at line 42 of file boolbv_width.h.

◆ total_width

std::size_t boolbv_widtht::entryt::total_width

Definition at line 41 of file boolbv_width.h.


The documentation for this struct was generated from the following file: