BVEC bvec_addref ( BVEC  v  ) 

Increase reference count of a boolean vector.

Use this function to increase the reference count of all BDDs in v. Please note that all boolean vectors returned from BuDDy are reference counted from the beginning.

Returns:
The boolean vector v.
See also:
bvec_delref


Generated on Mon Jul 23 13:25:15 2007 for BuDDy by  doxygen 1.5.1