pop_back

  void pop_back();
  

Removes the last element in the bitvector.

Precondition: The bitvector is not empty.

Postcondition: size() is decreased by one.

Throws nothing.