bvec_false

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

---