|
private EnsureCapacity ( |
||
| lastElt | /// The minimum acceptable number of words. /// | |
| return | void | |
private void EnsureCapacity(Int32 lastElt) {
if (lastElt >= this._bits.Length) {
long[] nd = new long[lastElt + 1];
Array.Copy(this._bits, 0, nd, 0, this._bits.Length);
this._bits = nd;
this._sizeIsSticky = false;
}
}