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

Shift left operation (fixed number of bits).

Builds a boolean vector that represents v shifted pos times to the left. 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_shl, bvec_shr


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