bvec_map1

BVEC bvec_map1 ( BVEC  a, BDD(*)(BDD)  fun   ) Map a function onto a boolean vector. Maps the function fun onto all the elements in a. The value returned from fun is stored in a new vector which is then returned. An example of a mapping function is bdd_not which can be used like this bvec res = bvec_map1(a, bdd_not) to negate all the BDDs in a. Returns: The new vector (which is already reference counted). See also: bvec_map2, bvec_map3

---