bvec_shl

BVEC bvec_shl ( BVEC  l, BVEC  r, BDD  c   ) Shift left operation (symbolic). Builds a boolean vector that represents l shifted r times to the left. The new empty elements will be set to c. The shift operation is fully symbolic and the number of bits shifted depends on the current value encoded by r. Returns: The result of the operation (which is already reference counted). See also: bvec_add, bvec_mul, bvec_shlfixed, bvec_shr

---