int bvec_divfixed ( BVEC  e,
int  c,
BVEC res,
BVEC rem 
)

Builds a boolean vector for division by a constant.

Builds a new boolean vector representing the integer division of e with c. The result of the division will be stored in res and the remainder of the division will be stored in rem. Both vectors should be initialized as the function will try to release the nodes used by them. If an error occurs then the nodes will not be freed.

Returns:
Zero on success or a negative error code on error.
See also:
bvec_div, bvec_mul, bvec_add, bvec_shl


Generated on Mon Jul 23 13:25:15 2007 for BuDDy by  doxygen 1.5.1