Searched refs:old_source1_num_rows (Results 1 – 2 of 2) sorted by relevance
282 const dimension_type old_source1_num_rows = source1.num_rows(); in add_and_minimize() local287 while (k1 < old_source1_num_rows && k2 < source2_num_rows) { in add_and_minimize()
55302 const dimension_type old_source1_num_rows = source1.num_rows();55307 while (k1 < old_source1_num_rows && k2 < source2_num_rows) {55318 // By sortedness, since `k1 < old_source1_num_rows',