Searched defs:other_actual_size (Results 1 – 2 of 2) sorted by relevance
60 const size_type other_actual_size = other.get_new_size_for_arbitrary(ersd); in split() local
61 const size_type other_actual_size = other.get_new_size_for_arbitrary(ersd); in split() local