bvec_free

void bvec_free ( BVEC  v  )  Frees all memory used by a boolean vector. Use this function to release any unused boolean vectors. The decrease of the reference counts on the BDDs in v is done by bvec_free.

---