Searched refs:enlarged_box2 (Results 1 – 2 of 2) sorted by relevance
288 box_type enlarged_box2(box2); in pick_next() local290 index::detail::expand(enlarged_box2, indexable, strategy); in pick_next()292 content_type enlarged_content2 = index::detail::content(enlarged_box2); in pick_next()
421 box_type enlarged_box2(box2); in apply()423 index::detail::expand(enlarged_box2, indexable, strategy); in apply()425 content_type enlarged_content2 = index::detail::content(enlarged_box2); in apply()443 box2 = enlarged_box2; in apply()