Searched refs:enlarged_box1 (Results 1 – 2 of 2) sorted by relevance
287 box_type enlarged_box1(box1); in pick_next() local289 index::detail::expand(enlarged_box1, indexable, strategy); in pick_next()291 content_type enlarged_content1 = index::detail::content(enlarged_box1); in pick_next()
420 box_type enlarged_box1(box1); in apply()422 index::detail::expand(enlarged_box1, indexable, strategy); in apply()424 content_type enlarged_content1 = index::detail::content(enlarged_box1); in apply()437 box1 = enlarged_box1; in apply()