bvec_delref

BVEC bvec_delref ( BVEC  v  )  Decrease the reference count of a boolean vector. Use this function to decrease the reference count of all the BDDs in v. Returns: The boolean vector v. See also: bvec_addref

---