|  | 
| 1456 | 1456 | \pnum | 
| 1457 | 1457 | \recommended | 
| 1458 | 1458 | If \tcode{R} models \tcode{ranges::\libconcept{approximately_sized_range}} and | 
| 1459 |  | -\tcode{ranges::distance(\linebreak{}rg) <= ranges::reserve_hint(rg)} is \tcode{true}, | 
|  | 1459 | +\tcode{ranges::distance(rg) <= ranges::reserve_hint(rg)} is \tcode{true}, | 
| 1460 | 1460 | an implementation should not perform more than a single reallocation. | 
| 1461 | 1461 | 
 | 
| 1462 | 1462 | \pnum | 
|  | 
| 1828 | 1828 | \pnum | 
| 1829 | 1829 | \recommended | 
| 1830 | 1830 | If \tcode{R} models \tcode{ranges::\libconcept{approximately_sized_range}} and | 
| 1831 |  | -\tcode{ranges::distance(\linebreak{}rg) <= ranges::reserve_hint(rg)} is \tcode{true}, | 
|  | 1831 | +\tcode{ranges::distance(rg) <= ranges::reserve_hint(rg)} is \tcode{true}, | 
| 1832 | 1832 | an implementation should not perform any reallocation. | 
| 1833 | 1833 | \end{itemdescr} | 
| 1834 | 1834 | 
 | 
|  | 
| 2444 | 2444 | Assigns \tcode{nh.ptr_} to \tcode{ptr_}. | 
| 2445 | 2445 | \item | 
| 2446 | 2446 | If \tcode{!alloc\textunderscore} or \tcode{ator_traits::propagate_on_container_move_assignment::value} | 
| 2447 |  | -is \tcode{true}, \linebreak | 
| 2448 |  | -move assigns \tcode{nh.alloc_} to \tcode{alloc_}. | 
|  | 2447 | +is \tcode{true}, move assigns \tcode{nh.alloc_} to \tcode{alloc_}. | 
| 2449 | 2448 | \item | 
| 2450 | 2449 | Assigns | 
| 2451 | 2450 | \keyword{nullptr} to \tcode{nh.ptr_} and assigns \tcode{nullopt} to | 
|  | 
| 7467 | 7466 | \pnum | 
| 7468 | 7467 | \expects | 
| 7469 | 7468 | \tcode{T} is \oldconcept{EmplaceConstructible} into \tcode{forward_list} | 
| 7470 |  | -from \tcode{std::forward<Args>(\linebreak args)...}. | 
|  | 7469 | +from \tcode{std::forward<Args>(args)...}. | 
| 7471 | 7470 | \tcode{position} is \tcode{before_begin()} or is a dereferenceable | 
| 7472 | 7471 | iterator in the range \range{begin()}{end()}. | 
| 7473 | 7472 | 
 | 
| 7474 | 7473 | \pnum | 
| 7475 | 7474 | \effects | 
| 7476 | 7475 | Inserts an object of type \tcode{value_type} direct-non-list-initialized with | 
| 7477 |  | -\tcode{std::forward<Args>(\linebreak args)...} after \tcode{position}. | 
|  | 7476 | +\tcode{std::forward<Args>(args)...} after \tcode{position}. | 
| 7478 | 7477 | 
 | 
| 7479 | 7478 | \pnum | 
| 7480 | 7479 | \returns | 
|  | 
| 10633 | 10632 | \pnum | 
| 10634 | 10633 | The expression | 
| 10635 | 10634 | \tcode{\exposid{is-vector-bool-reference}<T>} is \tcode{true} | 
| 10636 |  | -if \tcode{T} denotes the type \tcode{vector<bool, Alloc>::\linebreak{}reference} | 
|  | 10635 | +if \tcode{T} denotes the type \tcode{vector<bool, Alloc>::reference} | 
| 10637 | 10636 | for some type \tcode{Alloc} and | 
| 10638 | 10637 | \tcode{vector<bool, Alloc>} is not a program-defined specialization. | 
| 10639 | 10638 | \end{itemdescr} | 
|  | 
| 12025 | 12024 | Otherwise, let \tcode{r} be \tcode{equal_range(k)}. | 
| 12026 | 12025 | Constructs an object \tcode{u} of type \tcode{value_type} with | 
| 12027 | 12026 | \tcode{piecewise_construct, forward_as_tuple(std::forward<K>(k)), | 
| 12028 |  | -forward_as_tuple(std::forward<Args>(args)...)}.\linebreak | 
|  | 12027 | +forward_as_tuple(std::forward<Args>(args)...)}. | 
| 12029 | 12028 | If \tcode{equal_range(u.first) == r} is \tcode{false}, | 
| 12030 | 12029 | the behavior is undefined. | 
| 12031 | 12030 | Inserts \tcode{u} into \tcode{*this}. | 
|  | 
| 17511 | 17510 | \pnum | 
| 17512 | 17511 | \effects | 
| 17513 | 17512 | Equivalent to \tcode{flat_map(sorted_unique, key_cont, mapped_cont)} and | 
| 17514 |  | -\tcode{flat_map(sorted_unique, key_cont, \linebreak{}mapped_cont, comp)}, respectively, | 
|  | 17513 | +\tcode{flat_map(sorted_unique, key_cont, mapped_cont, comp)}, respectively, | 
| 17515 | 17514 | except that \tcode{\exposid{c}.keys} and \tcode{\exposid{c}.values} are constructed | 
| 17516 | 17515 | with uses-allocator construction\iref{allocator.uses.construction}. | 
| 17517 | 17516 | 
 | 
|  | 
| 17695 | 17694 | \pnum | 
| 17696 | 17695 | \effects | 
| 17697 | 17696 | Initializes an object \tcode{t} of type \tcode{pair<key_type, mapped_type>} | 
| 17698 |  | -with \tcode{std::forward<Args>(\linebreak args)...}; | 
|  | 17697 | +with \tcode{std::forward<Args>(args)...}; | 
| 17699 | 17698 | if the map already contains an element | 
| 17700 | 17699 | whose key is equivalent to \tcode{t.first}, | 
| 17701 | 17700 | \tcode{*this} is unchanged. | 
|  | 
| 17972 | 17971 | \effects | 
| 17973 | 17972 | If the map already contains an element \tcode{e} | 
| 17974 | 17973 | whose key is equivalent to \tcode{k}, | 
| 17975 |  | -assigns \tcode{std::forward<\linebreak M>(obj)} to \tcode{e.second}. | 
|  | 17974 | +assigns \tcode{std::forward<M>(obj)} to \tcode{e.second}. | 
| 17976 | 17975 | Otherwise, equivalent to | 
| 17977 | 17976 | \begin{codeblock} | 
| 17978 | 17977 | try_emplace(std::forward<decltype(k)>(k), std::forward<M>(obj)) | 
|  | 
| 18027 | 18026 | \effects | 
| 18028 | 18027 | If the map already contains an element \tcode{e} | 
| 18029 | 18028 | whose key is equivalent to \tcode{k}, | 
| 18030 |  | -assigns \tcode{std::forward<\linebreak M>(obj)} to \tcode{e.second}. | 
|  | 18029 | +assigns \tcode{std::forward<M>(obj)} to \tcode{e.second}. | 
| 18031 | 18030 | Otherwise, equivalent to | 
| 18032 | 18031 | \begin{codeblock} | 
| 18033 | 18032 | try_emplace(std::forward<K>(k), std::forward<M>(obj)) | 
| @@ -18641,14 +18640,14 @@ | 
| 18641 | 18640 | \pnum | 
| 18642 | 18641 | \effects | 
| 18643 | 18642 | Equivalent to \tcode{flat_multimap(key_cont, mapped_cont)} and | 
| 18644 |  | -\tcode{flat_multimap(key_cont, \linebreak{}mapped_cont, comp)}, respectively, | 
|  | 18643 | +\tcode{flat_multimap(key_cont, mapped_cont, comp)}, respectively, | 
| 18645 | 18644 | except that \tcode{\exposid{c}.keys} and \tcode{\exposid{c}.values} are constructed | 
| 18646 | 18645 | with uses-allocator construction\iref{allocator.uses.construction}. | 
| 18647 | 18646 | 
 | 
| 18648 | 18647 | \pnum | 
| 18649 | 18648 | \complexity | 
| 18650 | 18649 | Same as \tcode{flat_multimap(key_cont, mapped_cont)} and | 
| 18651 |  | -\tcode{flat_multimap(key_cont, \linebreak{}mapped_cont, comp)}, respectively. | 
|  | 18650 | +\tcode{flat_multimap(key_cont, mapped_cont, comp)}, respectively. | 
| 18652 | 18651 | \end{itemdescr} | 
| 18653 | 18652 | 
 | 
| 18654 | 18653 | \indexlibraryctor{flat_multimap}% | 
|  | 
| 23209 | 23208 | \item | 
| 23210 | 23209 | If \exposid{rank_} is greater than one, | 
| 23211 | 23210 | then the product of | 
| 23212 |  | -\tcode{\exposid{LEAST-MULTIPLE-AT-LEAST}(pad, ext.extent(\linebreak 0))} and | 
|  | 23211 | +\tcode{\exposid{LEAST-MULTIPLE-AT-LEAST}(pad, ext.extent(0))} and | 
| 23213 | 23212 | all values \tcode{ext.extent($k$)} | 
| 23214 | 23213 | with $k$ in the range of \range{1}{\exposid{rank_}} | 
| 23215 | 23214 | is representable as a value of type \tcode{index_type}. | 
|  | 
| 23288 | 23287 | \item | 
| 23289 | 23288 | If \exposid{rank_} is greater than \tcode{1} and | 
| 23290 | 23289 | \tcode{padding_value} does not equal \tcode{dynamic_extent}, | 
| 23291 |  | -then \tcode{other.\linebreak stride(1)} equals | 
|  | 23290 | +then \tcode{other.stride(1)} equals | 
| 23292 | 23291 | \begin{codeblock} | 
| 23293 | 23292 | @\exposid{LEAST-MULTIPLE-AT-LEAST}@(padding_value, | 
| 23294 | 23293 |                         extents_type::@\exposid{index-cast}@(other.extents().extent(0))) | 
|  | 
| 23356 | 23355 | \item | 
| 23357 | 23356 | If \exposid{rank_} is greater than 1 and | 
| 23358 | 23357 | \tcode{padding_value} does not equal \tcode{dynamic_extent}, | 
| 23359 |  | -then \tcode{other.\linebreak stride(1)} equals | 
|  | 23358 | +then \tcode{other.stride(1)} equals | 
| 23360 | 23359 | \begin{codeblock} | 
| 23361 | 23360 | @\exposid{LEAST-MULTIPLE-AT-LEAST}@(padding_value, | 
| 23362 | 23361 |                         extents_type::@\exposid{index-cast}@(other.extent(0))) | 
|  | 
| 23754 | 23753 | if \exposid{static-padding-stride} is not \tcode{dynamic_extent}. | 
| 23755 | 23754 | \begin{note} | 
| 23756 | 23755 | Using \tcode{extents<index_type, \exposid{static-padding-stride}>} | 
| 23757 |  | -instead of \tcode{index_type} as the type of \exposid{stride-\linebreak rm2} | 
|  | 23756 | +instead of \tcode{index_type} as the type of \exposid{stride-rm2} | 
| 23758 | 23757 | would achieve this. | 
| 23759 | 23758 | \end{note} | 
| 23760 | 23759 | \end{itemdescr} | 
| @@ -23837,13 +23836,13 @@ | 
| 23837 | 23836 | \item | 
| 23838 | 23837 | If \exposid{rank_} is greater than one, | 
| 23839 | 23838 | then the product of | 
| 23840 |  | -\tcode{\exposid{LEAST-MULTIPLE-AT-LEAST}(pad, ext.extent(\exposid{\linebreak rank_} - 1))} and | 
|  | 23839 | +\tcode{\exposid{LEAST-MULTIPLE-AT-LEAST}(pad, ext.extent(\exposid{rank_} - 1))} and | 
| 23841 | 23840 | all values \tcode{ext.extent($k$)} | 
| 23842 | 23841 | with $k$ in the range of \range{0}{\exposid{rank_} - 1} | 
| 23843 | 23842 | is representable as a value of type \tcode{index_type}. | 
| 23844 | 23843 | \item | 
| 23845 | 23844 | If \tcode{padding_value} is not equal to \tcode{dynamic_extent}, | 
| 23846 |  | -\tcode{padding_value} equals \tcode{extents_type::\linebreak \exposid{index-cast}(pad)}. | 
|  | 23845 | +\tcode{padding_value} equals \tcode{extents_type::\exposid{index-cast}(pad)}. | 
| 23847 | 23846 | \end{itemize} | 
| 23848 | 23847 | 
 | 
| 23849 | 23848 | \pnum | 
|  | 
| 23916 | 23915 | \item | 
| 23917 | 23916 | If \exposid{rank_} is greater than 1 and | 
| 23918 | 23917 | \tcode{padding_value} does not equal \tcode{dynamic_extent}, | 
| 23919 |  | -then \tcode{other.\linebreak stride(\exposid{rank_} - 2)} equals | 
|  | 23918 | +then \tcode{other.stride(\exposid{rank_} - 2)} equals | 
| 23920 | 23919 | \begin{codeblock} | 
| 23921 | 23920 | @\exposid{LEAST-MULTIPLE-AT-LEAST}@(padding_value, | 
| 23922 | 23921 |                         extents_type::@\exposid{index-cast}@(other.extents().extent(@\exposid{rank_}@ - 1))) | 
|  | 
| 23984 | 23983 | \item | 
| 23985 | 23984 | If \exposid{rank_} is greater than 1 and | 
| 23986 | 23985 | \tcode{padding_value} does not equal \tcode{dynamic_extent}, | 
| 23987 |  | -then \tcode{other.\linebreak stride(\exposid{rank_} - 2)} equals | 
|  | 23986 | +then \tcode{other.stride(\exposid{rank_} - 2)} equals | 
| 23988 | 23987 | \begin{codeblock} | 
| 23989 | 23988 | @\exposid{LEAST-MULTIPLE-AT-LEAST}@(padding_value, | 
| 23990 | 23989 |                         extents_type::@\exposid{index-cast}@(other.extent(@\exposid{rank_}@ - 1))) | 
|  | 
| 25644 | 25643 | \item | 
| 25645 | 25644 | \tcode{stride(k) * \exposid{de-ice}($s_k$.stride)} | 
| 25646 | 25645 | if $S_k$ is a specialization of \tcode{strided_slice} and | 
| 25647 |  | -\tcode{$s_k$.stride < $s_k$.\linebreak extent} is \tcode{true}; | 
|  | 25646 | +\tcode{$s_k$.stride < $s_k$.extent} is \tcode{true}; | 
| 25648 | 25647 | \item | 
| 25649 | 25648 | otherwise, \tcode{stride($k$)}. | 
| 25650 | 25649 | \end{itemize} | 
| @@ -26042,11 +26041,11 @@ | 
| 26042 | 26041 | \begin{itemize} | 
| 26043 | 26042 | \item | 
| 26044 | 26043 | \tcode{decltype(submdspan_mapping(src.mapping(), slices...))} | 
| 26045 |  | -is a specialization of \tcode{submd-\linebreak{}span_mapping_result}. | 
|  | 26044 | +is a specialization of \tcode{submdspan_mapping_result}. | 
| 26046 | 26045 | 
 | 
| 26047 | 26046 | \item | 
| 26048 | 26047 | \tcode{is_same_v<remove_cvref_t<decltype(sub_map_offset.mapping.extents())>,} | 
| 26049 |  | -\tcode{decltype(\linebreak{}submdspan_extents(src.mapping(), slices...))>} | 
|  | 26048 | +\tcode{decltype(submdspan_extents(src.mapping(), slices...))>} | 
| 26050 | 26049 | is \tcode{true}. | 
| 26051 | 26050 | 
 | 
| 26052 | 26051 | \item | 
| @@ -26076,11 +26075,11 @@ | 
| 26076 | 26075 |   \item | 
| 26077 | 26076 |   $0 \le \tcode{\exposid{first_}<index_type, $k$>(slices...)}$ | 
| 26078 | 26077 |   $\le \tcode{\exposid{last_}<$k$>(src.extents(), slices...)}$ | 
| 26079 |  | -  $\le \tcode{\linebreak{}src.extent($k$)}$ | 
|  | 26078 | +  $\le \tcode{src.extent($k$)}$ | 
| 26080 | 26079 |   \end{itemize} | 
| 26081 | 26080 | 
 | 
| 26082 | 26081 | \item | 
| 26083 |  | -\tcode{sub_map_offset.mapping.extents() == submdspan_extents(src.mapping(), slices...)}\linebreak | 
|  | 26082 | +\tcode{sub_map_offset.mapping.extents() == submdspan_extents(src.mapping(), slices...)} | 
| 26084 | 26083 | is \tcode{true}; and | 
| 26085 | 26084 | 
 | 
| 26086 | 26085 | \item | 
|  | 
0 commit comments