clear

  void clear();
  

Removes all elements in the bitvector.

Postcondition: size() == 0.

Throws nothing.