MisraStdC

BitVecInsert Description Insert a bit at given index in bitvector. Shifts all bits at and after the index to the right.

BitVecRemove Description Remove a bit at given index from bitvector. Shifts all bits after the index to the left.

BitVecShiftLeft Description Shift all bits in bitvector to the left by specified positions. New bits on the right are filled with zeros.

BitVecShiftRight Description Shift all bits in bitvector to the right by specified positions. New bits on the left are filled with zeros.