Lines Matching full:mid

118 /// <c>[beg, end)</c>; the memory <c>[beg, mid)</c> is used to store the
119 /// current elements, and the memory <c>[mid, end)</c> is reserved for future
120 /// elements (<c>beg <= mid <= end</c>). For example, in
126 ///   mid = beg + v.size()     * sizeof(v[0]);
131 /// <c>[mid, end)</c> is accessed. Insert this annotation into methods like
133 /// <c>mid</c>(<c><i>old_mid</i></c> and <c><i>new_mid</i></c>). In the initial
134 /// state <c>mid == end</c>, so that should be the final state when the
201 /// <c>[beg, mid)</c> is addressable and <c>[mid, end)</c> is unaddressable.
204 /// <c><i>beg</i></c>, <c><i>mid</i></c>, and <c><i>end</i></c>.
207 /// \param mid Middle of memory region.
213                                                             const void *mid,
247 /// \param mid Middle of memory region.
252     const void *beg, const void *mid, const void *end);