BVEC bvec_shrfixed ( BVEC  e,
int  pos,
BDD  c 
)

Shift right operation.

Builds a boolean vector that represents v shifted pos times to the right. The new empty elements will be set to c.

Returns:
The result of the operation (which is already reference counted).
See also:
bvec_add, bvec_mul, bvec_shr, bvec_shl


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