s_bvec Struct Reference
[Boolean vectors]

A boolean vector. More...

#include <bvec.h>

Data Fields
int	bitnum
BDD *	bitvec

---

Detailed Description

A boolean vector.

This data structure is used to store boolean vectors. The field bitnum is the number of elements in the vector and the field bitvec contains the actual BDDs in the vector. The C++ version of bvec is documented at the beginning of this document.

Definition at line 55 of file bvec.h.

---

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

• bvec.h

---