boolbv_widtht::entryt Struct Reference

#include <boolbv_width.h>

Collaboration diagram for boolbv_widtht::entryt:

Public Attributes
std::size_t	total_width
std::vector< membert >	members

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:

• solvers/flattening/boolbv_width.h