BuDDy: bvec

BVEC bvec_map3	(	BVEC	a,
		BVEC	b,
		BVEC	c,
		BDD(*)(BDD, BDD, BDD)	fun
	)

Map a function onto a boolean vector.

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

 bvec res = bvec_map3(a, b, c, bdd_ite)

to calculate the if-then-else function for each element in a, b and c.

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

See also:: bvec_map1, bvec_map2