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.
