34   unsigned Capacity;     // Size of allocated memory in BitWord.  variable
74   BitVector() : Size(0), Capacity(0) {  in BitVector()
81     Capacity = NumBitWords(s);  in Size()
82     Bits = (BitWord *)std::malloc(Capacity * sizeof(BitWord));  in Size()
83     init_words(Bits, Capacity, t);  in Size()
92       Capacity = 0;  in BitVector()
96     Capacity = NumBitWords(RHS.size());  in BitVector()
97     Bits = (BitWord *)std::malloc(Capacity * sizeof(BitWord));  in BitVector()
98     std::memcpy(Bits, RHS.Bits, Capacity * sizeof(BitWord));  in BitVector()
103     : Bits(RHS.Bits), Size(RHS.Size), Capacity(RHS.Capacity) {  in BitVector()
211     if (N > Capacity * BITWORD_SIZE) {
212       unsigned OldCapacity = Capacity;
214       init_words(&Bits[OldCapacity], (Capacity-OldCapacity), t);
231     if (N > Capacity * BITWORD_SIZE)  in reserve()
237     init_words(Bits, Capacity, true);  in set()
276     init_words(Bits, Capacity, false);  in reset()
443     if (Size <= Capacity * BITWORD_SIZE) {
451     Capacity = RHSWords;
452     BitWord *NewBits = (BitWord *)std::malloc(Capacity * sizeof(BitWord));
453     std::memcpy(NewBits, RHS.Bits, Capacity * sizeof(BitWord));
469     Capacity = RHS.Capacity;
480     std::swap(Capacity, RHS.Capacity);  in swap()
528     if (Capacity > UsedWords)
529       init_words(&Bits[UsedWords], (Capacity-UsedWords), t);
548     Capacity = std::max(NumBitWords(NewSize), Capacity * 2);  in grow()
549     Bits = (BitWord *)std::realloc(Bits, Capacity * sizeof(BitWord));  in grow()