|
135 | 135 | \indexlibrary{\idxhdr{concepts}}%
|
136 | 136 | \begin{codeblock}
|
137 | 137 | namespace std {
|
138 |
| - // \ref{concepts.lang}, language-related concepts: |
139 |
| - // \ref{concept.same}, Same: |
| 138 | + // \ref{concepts.lang}, language-related concepts |
| 139 | + // \ref{concept.same}, Same |
140 | 140 | template<class T, class U>
|
141 | 141 | concept Same = @\seebelow@;
|
142 | 142 |
|
143 |
| - // \ref{concept.derivedfrom}, DerivedFrom: |
| 143 | + // \ref{concept.derivedfrom}, DerivedFrom |
144 | 144 | template<class Derived, class Base>
|
145 | 145 | concept DerivedFrom = @\seebelow@;
|
146 | 146 |
|
147 |
| - // \ref{concept.convertibleto}, ConvertibleTo: |
| 147 | + // \ref{concept.convertibleto}, ConvertibleTo |
148 | 148 | template<class From, class To>
|
149 | 149 | concept ConvertibleTo = @\seebelow@;
|
150 | 150 |
|
151 |
| - // \ref{concept.commonref}, CommonReference: |
| 151 | + // \ref{concept.commonref}, CommonReference |
152 | 152 | template<class T, class U>
|
153 | 153 | concept CommonReference = @\seebelow@;
|
154 | 154 |
|
155 |
| - // \ref{concept.common}, Common: |
| 155 | + // \ref{concept.common}, Common |
156 | 156 | template<class T, class U>
|
157 | 157 | concept Common = @\seebelow@;
|
158 | 158 |
|
159 |
| - // \ref{concept.integral}, Integral: |
| 159 | + // \ref{concept.integral}, Integral |
160 | 160 | template<class T>
|
161 | 161 | concept Integral = @\seebelow@;
|
162 | 162 |
|
163 |
| - // \ref{concept.signed.int}, SignedIntegral: |
| 163 | + // \ref{concept.signed.int}, SignedIntegral |
164 | 164 | template<class T>
|
165 | 165 | concept SignedIntegral = @\seebelow@;
|
166 | 166 |
|
167 |
| - // \ref{concept.unsigned.int}, UnsignedIntegral: |
| 167 | + // \ref{concept.unsigned.int}, UnsignedIntegral |
168 | 168 | template<class T>
|
169 | 169 | concept UnsignedIntegral = @\seebelow@;
|
170 | 170 |
|
171 |
| - // \ref{concept.assignable}, Assignable: |
| 171 | + // \ref{concept.assignable}, Assignable |
172 | 172 | template<class LHS, class RHS>
|
173 | 173 | concept Assignable = @\seebelow@;
|
174 | 174 |
|
175 |
| - // \ref{concept.swappable}, Swappable: |
| 175 | + // \ref{concept.swappable}, Swappable |
176 | 176 | template<class T>
|
177 | 177 | concept Swappable = @\seebelow@;
|
178 | 178 |
|
179 | 179 | template<class T, class U>
|
180 | 180 | concept SwappableWith = @\seebelow@;
|
181 | 181 |
|
182 |
| - // \ref{concept.destructible}, Destructible: |
| 182 | + // \ref{concept.destructible}, Destructible |
183 | 183 | template<class T>
|
184 | 184 | concept Destructible = @\seebelow@;
|
185 | 185 |
|
186 |
| - // \ref{concept.constructible}, Constructible: |
| 186 | + // \ref{concept.constructible}, Constructible |
187 | 187 | template<class T, class... Args>
|
188 | 188 | concept Constructible = @\seebelow@;
|
189 | 189 |
|
190 |
| - // \ref{concept.defaultconstructible}, DefaultConstructible: |
| 190 | + // \ref{concept.defaultconstructible}, DefaultConstructible |
191 | 191 | template<class T>
|
192 | 192 | concept DefaultConstructible = @\seebelow@;
|
193 | 193 |
|
194 |
| - // \ref{concept.moveconstructible}, MoveConstructible: |
| 194 | + // \ref{concept.moveconstructible}, MoveConstructible |
195 | 195 | template<class T>
|
196 | 196 | concept MoveConstructible = @\seebelow@;
|
197 | 197 |
|
198 |
| - // \ref{concept.copyconstructible}, CopyConstructible: |
| 198 | + // \ref{concept.copyconstructible}, CopyConstructible |
199 | 199 | template<class T>
|
200 | 200 | concept CopyConstructible = @\seebelow@;
|
201 | 201 |
|
202 |
| - // \ref{concepts.compare}, comparison concepts: |
203 |
| - // \ref{concept.boolean}, Boolean: |
| 202 | + // \ref{concepts.compare}, comparison concepts |
| 203 | + // \ref{concept.boolean}, Boolean |
204 | 204 | template<class B>
|
205 | 205 | concept Boolean = @\seebelow@;
|
206 | 206 |
|
207 |
| - // \ref{concept.equalitycomparable}, EqualityComparable: |
| 207 | + // \ref{concept.equalitycomparable}, EqualityComparable |
208 | 208 | template<class T>
|
209 | 209 | concept EqualityComparable = @\seebelow@;
|
210 | 210 |
|
211 | 211 | template<class T, class U>
|
212 | 212 | concept EqualityComparableWith = @\seebelow@;
|
213 | 213 |
|
214 |
| - // \ref{concept.stricttotallyordered}, StrictTotallyOrdered: |
| 214 | + // \ref{concept.stricttotallyordered}, StrictTotallyOrdered |
215 | 215 | template<class T>
|
216 | 216 | concept StrictTotallyOrdered = @\seebelow@;
|
217 | 217 |
|
218 | 218 | template<class T, class U>
|
219 | 219 | concept StrictTotallyOrderedWith = @\seebelow@;
|
220 | 220 |
|
221 |
| - // \ref{concepts.object}, object concepts: |
222 |
| - // \ref{concept.movable}, Movable: |
| 221 | + // \ref{concepts.object}, object concepts |
| 222 | + // \ref{concept.movable}, Movable |
223 | 223 | template<class T>
|
224 | 224 | concept Movable = @\seebelow@;
|
225 | 225 |
|
226 |
| - // \ref{concept.copyable}, Copyable: |
| 226 | + // \ref{concept.copyable}, Copyable |
227 | 227 | template<class T>
|
228 | 228 | concept Copyable = @\seebelow@;
|
229 | 229 |
|
230 |
| - // \ref{concept.semiregular}, Semiregular: |
| 230 | + // \ref{concept.semiregular}, Semiregular |
231 | 231 | template<class T>
|
232 | 232 | concept Semiregular = @\seebelow@;
|
233 | 233 |
|
234 |
| - // \ref{concept.regular}, Regular: |
| 234 | + // \ref{concept.regular}, Regular |
235 | 235 | template<class T>
|
236 | 236 | concept Regular = @\seebelow@;
|
237 | 237 |
|
238 |
| - // \ref{concepts.callable}, callable concepts: |
239 |
| - // \ref{concept.invocable}, Invocable: |
| 238 | + // \ref{concepts.callable}, callable concepts |
| 239 | + // \ref{concept.invocable}, Invocable |
240 | 240 | template<class F, class... Args>
|
241 | 241 | concept Invocable = @\seebelow@;
|
242 | 242 |
|
243 |
| - // \ref{concept.regularinvocable}, RegularInvocable: |
| 243 | + // \ref{concept.regularinvocable}, RegularInvocable |
244 | 244 | template<class F, class... Args>
|
245 | 245 | concept RegularInvocable = @\seebelow@;
|
246 | 246 |
|
247 |
| - // \ref{concept.predicate}, Predicate: |
| 247 | + // \ref{concept.predicate}, Predicate |
248 | 248 | template<class F, class... Args>
|
249 | 249 | concept Predicate = @\seebelow@;
|
250 | 250 |
|
251 |
| - // \ref{concept.relation}, Relation: |
| 251 | + // \ref{concept.relation}, Relation |
252 | 252 | template<class R, class T, class U>
|
253 | 253 | concept Relation = @\seebelow@;
|
254 | 254 |
|
255 |
| - // \ref{concept.strictweakorder}, StrictWeakOrder: |
| 255 | + // \ref{concept.strictweakorder}, StrictWeakOrder |
256 | 256 | template<class R, class T, class U>
|
257 | 257 | concept StrictWeakOrder = @\seebelow@;
|
258 | 258 | }
|
|
0 commit comments