BuDDy: bvec

BVEC bvec_map2	(	BVEC	a,
		BVEC	b,
		BDD(*)(BDD, BDD)	fun
	)

Map a function onto a boolean vector.

Maps the function fun onto all the elements in a and b. The value returned from fun is stored in a new vector which is then returned. An example of a mapping function is bdd_and which can be used like this

 bvec res = bvec_map2(a, b, bdd_and)

to calculate the logical 'and' of all the BDDs in a and b.

Returns:: The new vector (which is already reference counted).

See also:: bvec_map1, bvec_map3