bvec_true

BVEC bvec_true ( int  bitnum  )  Build a vector of constant true bdds. Builds a boolean vector with bitnum elements, each of which are the constant true BDD. Returns: The boolean vector (which is already reference counted). See also: bvec_false, bvec_con, bvec_var

---