|
4882 | 4882 | \begin{codeblock} |
4883 | 4883 | namespace std { |
4884 | 4884 | class partial_ordering { |
4885 | | - int value; // \expos |
4886 | | - bool is_ordered; // \expos |
| 4885 | + int @\exposid{value}@; // \expos |
| 4886 | + bool @\exposid{is-ordered}@; // \expos |
4887 | 4887 |
|
4888 | 4888 | // exposition-only constructors |
4889 | 4889 | constexpr explicit |
4890 | | - partial_ordering(@\placeholder{ord}@ v) noexcept : value(int(v)), is_ordered(true) {} // \expos |
| 4890 | + partial_ordering(@\placeholder{ord}@ v) noexcept : @\exposid{value}@(int(v)), @\exposid{is-ordered}@(true) {} // \expos |
4891 | 4891 | constexpr explicit |
4892 | | - partial_ordering(@\placeholder{ncmp}@ v) noexcept : value(int(v)), is_ordered(false) {} // \expos |
| 4892 | + partial_ordering(@\placeholder{ncmp}@ v) noexcept : @\exposid{value}@(int(v)), @\exposid{is-ordered}@(false) {} // \expos |
4893 | 4893 |
|
4894 | 4894 | public: |
4895 | 4895 | // valid values |
|
4937 | 4937 | \begin{itemdescr} |
4938 | 4938 | \pnum |
4939 | 4939 | \returns |
4940 | | -For \tcode{operator@}, \tcode{v.is_ordered \&\& v.value @ 0}. |
| 4940 | +For \tcode{operator@}, \tcode{v.\exposid{is-ordered} \&\& v.\exposid{value} @ 0}. |
4941 | 4941 | \end{itemdescr} |
4942 | 4942 |
|
4943 | 4943 | \indexlibrarymember{operator<}{partial_ordering}% |
|
4954 | 4954 | \begin{itemdescr} |
4955 | 4955 | \pnum |
4956 | 4956 | \returns |
4957 | | -For \tcode{operator@}, \tcode{v.is_ordered \&\& 0 @ v.value}. |
| 4957 | +For \tcode{operator@}, \tcode{v.\exposid{is-ordered} \&\& 0 @ v.\exposid{value}}. |
4958 | 4958 | \end{itemdescr} |
4959 | 4959 |
|
4960 | 4960 | \indexlibrarymember{operator<=>}{partial_ordering}% |
|
4995 | 4995 | \begin{codeblock} |
4996 | 4996 | namespace std { |
4997 | 4997 | class weak_ordering { |
4998 | | - int value; // \expos |
| 4998 | + int @\exposid{value}@; // \expos |
4999 | 4999 |
|
5000 | 5000 | // exposition-only constructors |
5001 | | - constexpr explicit weak_ordering(@\placeholder{ord}@ v) noexcept : value(int(v)) {} // \expos |
| 5001 | + constexpr explicit weak_ordering(@\placeholder{ord}@ v) noexcept : @\exposid{value}@(int(v)) {} // \expos |
5002 | 5002 |
|
5003 | 5003 | public: |
5004 | 5004 | // valid values |
|
5040 | 5040 | \pnum |
5041 | 5041 | \returns |
5042 | 5042 | \begin{codeblock} |
5043 | | -value == 0 ? partial_ordering::equivalent : |
5044 | | -value < 0 ? partial_ordering::less : |
| 5043 | +@\exposid{value}@ == 0 ? partial_ordering::equivalent : |
| 5044 | +@\exposid{value}@ < 0 ? partial_ordering::less : |
5045 | 5045 | partial_ordering::greater |
5046 | 5046 | \end{codeblock} |
5047 | 5047 | \end{itemdescr} |
|
5062 | 5062 | \begin{itemdescr} |
5063 | 5063 | \pnum |
5064 | 5064 | \returns |
5065 | | -\tcode{v.value @ 0} for \tcode{operator@}. |
| 5065 | +\tcode{v.\exposid{value} @ 0} for \tcode{operator@}. |
5066 | 5066 | \end{itemdescr} |
5067 | 5067 |
|
5068 | 5068 | \indexlibrarymember{operator<}{weak_ordering}% |
|
5079 | 5079 | \begin{itemdescr} |
5080 | 5080 | \pnum |
5081 | 5081 | \returns |
5082 | | -\tcode{0 @ v.value} for \tcode{operator@}. |
| 5082 | +\tcode{0 @ v.\exposid{value}} for \tcode{operator@}. |
5083 | 5083 | \end{itemdescr} |
5084 | 5084 |
|
5085 | 5085 | \indexlibrarymember{operator<=>}{weak_ordering}% |
|
5121 | 5121 | \begin{codeblock} |
5122 | 5122 | namespace std { |
5123 | 5123 | class strong_ordering { |
5124 | | - int value; // \expos |
| 5124 | + int @\exposid{value}@; // \expos |
5125 | 5125 |
|
5126 | 5126 | // exposition-only constructors |
5127 | | - constexpr explicit strong_ordering(@\placeholder{ord}@ v) noexcept : value(int(v)) {} // \expos |
| 5127 | + constexpr explicit strong_ordering(@\placeholder{ord}@ v) noexcept : @\exposid{value}@(int(v)) {} // \expos |
5128 | 5128 |
|
5129 | 5129 | public: |
5130 | 5130 | // valid values |
|
5169 | 5169 | \pnum |
5170 | 5170 | \returns |
5171 | 5171 | \begin{codeblock} |
5172 | | -value == 0 ? partial_ordering::equivalent : |
5173 | | -value < 0 ? partial_ordering::less : |
| 5172 | +@\exposid{value}@ == 0 ? partial_ordering::equivalent : |
| 5173 | +@\exposid{value}@ < 0 ? partial_ordering::less : |
5174 | 5174 | partial_ordering::greater |
5175 | 5175 | \end{codeblock} |
5176 | 5176 | \end{itemdescr} |
|
5184 | 5184 | \pnum |
5185 | 5185 | \returns |
5186 | 5186 | \begin{codeblock} |
5187 | | -value == 0 ? weak_ordering::equivalent : |
5188 | | -value < 0 ? weak_ordering::less : |
| 5187 | +@\exposid{value}@ == 0 ? weak_ordering::equivalent : |
| 5188 | +@\exposid{value}@ < 0 ? weak_ordering::less : |
5189 | 5189 | weak_ordering::greater |
5190 | 5190 | \end{codeblock} |
5191 | 5191 | \end{itemdescr} |
|
5206 | 5206 | \begin{itemdescr} |
5207 | 5207 | \pnum |
5208 | 5208 | \returns |
5209 | | -\tcode{v.value @ 0} for \tcode{operator@}. |
| 5209 | +\tcode{v.\exposid{value} @ 0} for \tcode{operator@}. |
5210 | 5210 | \end{itemdescr} |
5211 | 5211 |
|
5212 | 5212 | \indexlibrarymember{operator<}{strong_ordering}% |
|
5223 | 5223 | \begin{itemdescr} |
5224 | 5224 | \pnum |
5225 | 5225 | \returns |
5226 | | -\tcode{0 @ v.value} for \tcode{operator@}. |
| 5226 | +\tcode{0 @ v.\exposid{value}} for \tcode{operator@}. |
5227 | 5227 | \end{itemdescr} |
5228 | 5228 |
|
5229 | 5229 | \indexlibrarymember{operator<=>}{strong_ordering}% |
|
0 commit comments