Searched refs:old_n_buckets (Results 1 – 1 of 1) sorted by relevance
949 const auto old_n_buckets = bucket_count(); in resize() local966 if (old_n_buckets < new_n_buckets) PetscCallCXX(values_.resize(new_n_buckets)); in resize()967 for (size_type i = 0; i < old_n_buckets; ++i) { in resize()984 if (j < old_n_buckets && occupied(j)) { in resize()1005 if (old_n_buckets > new_n_buckets) PetscCallCXX(values_.resize(new_n_buckets)); in resize()