bvec_varvec

BVEC bvec_varvec ( int  bitnum, int *  var   ) Build a boolean vector with the variables passed in an array. Builds a boolean vector with the BDD variables listed in the array var. The array must be of size bitnum. Returns: The boolean vector (which is already reference counted). See also: bvec_var

---