BucketInfo.update

Increases the length of the bucket info for the non-empty bucket specified by bucket_index by 1.

class BucketInfo

package

void

update

(

)

out { assert (this); assert (this.n_filled, "all buckets are empty after update"); debug(BucketInfo) this.print(" ", bucket_index); }

Parameters

bucket_index size_t: index of the bucket into which another element has been put
In: The bucket is expected to be non-empty.