bvec_shr

BVEC bvec_shr ( BVEC  l, BVEC  r, BDD  c   ) Shift right operation (symbolic). Builds a boolean vector that represents l shifted r times to the right. 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_shl, bvec_shrfixed

---