32 enum class State {  enum
55           State EnableOperatorLess, State EnableOperatorMinus, State EnableOperatorPlusSizeT>
65 …bool operator<( const BlockedRangeValue& ) const requires (EnableOperatorLess == State::correct) {…
66 …bool operator<( Dummy ) const requires (EnableOperatorLess == State::incorrect_first_input) { retu…
67 …Dummy operator<( const BlockedRangeValue& ) const requires (EnableOperatorLess == State::incorrect…
68 …bool operator<( const BlockedRangeValue& ) requires (EnableOperatorLess == State::incorrect_constn…
70 …std::size_t operator-( const BlockedRangeValue& ) const requires (EnableOperatorMinus == State::co…
71 …std::size_t operator-( Dummy ) const requires (EnableOperatorMinus == State::incorrect_first_input…
72 …Dummy operator-( const BlockedRangeValue& ) const requires (EnableOperatorMinus == State::incorrec…
73 …std::size_t operator-( const BlockedRangeValue& ) requires (EnableOperatorMinus == State::incorrec…
75 …BlockedRangeValue operator+( std::size_t ) const requires (EnableOperatorPlusSizeT == State::corre…
76 …BlockedRangeValue operator+( Dummy ) const requires (EnableOperatorPlusSizeT == State::incorrect_f…
77 …Dummy operator+( std::size_t ) const requires (EnableOperatorPlusSizeT == State::incorrect_return_…
78 …BlockedRangeValue operator+( std::size_t ) requires (EnableOperatorPlusSizeT == State::incorrect_c…
81 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
82 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
83 …ment = */false, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
84 …ment = */true, /*Dtor = */false, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
85 …ent = */true, /*Dtor = */true, /*Less = */State::not_defined, /*Minus = */State::correct, /*PlusSi…
86 …= */true, /*Dtor = */true, /*Less = */State::incorrect_constness, /*Minus = */State::correct, /*Pl…
87 … */true, /*Dtor = */true, /*Less = */State::incorrect_first_input, /*Minus = */State::correct, /*P…
88 … */true, /*Dtor = */true, /*Less = */State::incorrect_return_type, /*Minus = */State::correct, /*P…
89 …ent = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::not_defined, /*PlusSi…
90 …= */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_constness, /*Pl…
91 … */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_first_input, /*P…
92 … */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_return_type, /*P…
93 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
94 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
95 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
96 …nment = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*PlusSize…
101 template <bool EnableCopyCtor, bool EnableSplitCtor, bool EnableDtor, State EnableEmpty, State Enab…
109     bool empty() const requires (EnableEmpty == State::correct) { return true; }  in empty()
110     bool empty() requires (EnableEmpty == State::incorrect_constness) { return true; }  in empty()
111     Dummy empty() const requires (EnableEmpty == State::incorrect_return_type) { return Dummy{}; }  in empty()
113     bool is_divisible() const requires (EnableIsDivisible == State::correct) { return true; }  in is_divisible()
114     bool is_divisible() requires (EnableIsDivisible == State::incorrect_constness) { return true; }  in is_divisible()
115 …Dummy is_divisible() const requires (EnableIsDivisible == State::incorrect_return_type) { return D…  in is_divisible()
118 …true, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
119 …alse, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
120 …rue, /*SplitCtor = */false, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
121 …rue, /*SplitCtor = */true, /*Dtor = */false, /*Empty = */State::correct, /*IsDivisible = */State::…
122 …ue, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::not_defined, /*IsDivisible = */State…
123 …/*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::incorrect_constness, /*IsDivisible = */S…
124 …*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::incorrect_return_type, /*IsDivisible = */…
125 …true, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
126 …true, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
127 …true, /*SplitCtor = */true, /*Dtor = */true, /*Empty = */State::correct, /*IsDivisible = */State::…
132 template <typename Range, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionCallOperator>
139     void operator()( Range& ) const requires (EnableFunctionCallOperator == State::correct) {}  in operator()
140     void operator()( Range& ) requires (EnableFunctionCallOperator == State::incorrect_constness) {}  in operator()
141 …void operator()( Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_first_inpu…  in operator()
144 … using Correct = ParallelForBody<R, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
145 …g NonCopyable = ParallelForBody<R, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
146 …nDestructible = ParallelForBody<R, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
147 …ndBrackets = ParallelForBody<R, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
148 …Const = ParallelForBody<R, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_constne…
149 …ckets = ParallelForBody<R, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
153 template <typename Index, State EnableFunctionCallOperator>
155     void operator()( Index ) const requires (EnableFunctionCallOperator == State::correct) {}  in operator()
156     void operator()( Index ) requires (EnableFunctionCallOperator == State::incorrect_constness) {}  in operator()
157 …void operator()( Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_first_inpu…  in operator()
160 template <typename I> using Correct = ParallelForFunc<I, /*() = */State::correct>;
161 template <typename I> using NoOperatorRoundBrackets = ParallelForFunc<I, /*() = */State::not_define…
162 template <typename I> using OperatorRoundBracketsNonConst = ParallelForFunc<I, /*() = */State::inco…
163 template <typename I> using WrongInputOperatorRoundBrackets = ParallelForFunc<I, /*() = */State::in…
167           State EnableLess, State EnableMinus, State EnablePlus>
176 …bool operator<( const ParallelForIndex& ) const requires (EnableLess == State::correct) { return t…
177 …bool operator<( const ParallelForIndex& ) requires (EnableLess == State::incorrect_constness) { re…
178 …bool operator<( Dummy ) const requires (EnableLess == State::incorrect_first_input) { return true;…
179 …Dummy operator<( const ParallelForIndex& ) const requires (EnableLess == State::incorrect_return_t…
181 …std::size_t operator-( const ParallelForIndex& ) const requires (EnableMinus == State::correct) { …
182 …std::size_t operator-( const ParallelForIndex& ) requires (EnableMinus == State::incorrect_constne…
183 …std::size_t operator-( Dummy ) const requires (EnableMinus == State::incorrect_first_input) { retu…
184 …Dummy operator-( const ParallelForIndex& ) const requires (EnableMinus == State::incorrect_return_…
186 …ParallelForIndex operator+( std::size_t ) const requires (EnablePlus == State::correct) { return *…
187 …ParallelForIndex operator+( std::size_t ) requires (EnablePlus == State::incorrect_constness) { re…
188 …ParallelForIndex operator+( Dummy ) const requires (EnablePlus == State::incorrect_first_input) { …
189 …Dummy operator+( std::size_t ) const requires (EnablePlus == State::incorrect_return_type) { retur…
192 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
193 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
194 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
195 …Assign = */false, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
196 …Assign = */true, /*Dtor = */false, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
197 …ssign = */true, /*Dtor = */true, /*Less = */State::not_defined, /*Minus = */State::correct, /*Plus…
198 …n = */true, /*Dtor = */true, /*Less = */State::incorrect_constness, /*Minus = */State::correct, /*…
199 … = */true, /*Dtor = */true, /*Less = */State::incorrect_first_input, /*Minus = */State::correct, /…
200 … = */true, /*Dtor = */true, /*Less = */State::incorrect_return_type, /*Minus = */State::correct, /…
201 …ssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::not_defined, /*Plus…
202 …n = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_constness, /*…
203 … = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_first_input, /…
204 … = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::incorrect_return_type, /…
205 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
206 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
207 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
208 …yAssign = */true, /*Dtor = */true, /*Less = */State::correct, /*Minus = */State::correct, /*Plus =…
212 template <typename T, State EnableFunctionCallOperator>
214     void operator()( const T& ) const requires (EnableFunctionCallOperator == State::correct) {}  in operator()
215 … void operator()( const T& ) requires (EnableFunctionCallOperator == State::incorrect_constness) {}  in operator()
216 …void operator()( Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_first_inpu…  in operator()
219 template <typename T, typename FeederT, State EnableFunctionCallOperator>
221 … const T&, tbb::feeder<FeederT>& ) const requires (EnableFunctionCallOperator == State::correct) {}  in operator()
222 …const T&, tbb::feeder<FeederT>& ) requires (EnableFunctionCallOperator == State::incorrect_constne…  in operator()
223 …my, tbb::feeder<FeederT>& ) const requires (EnableFunctionCallOperator == State::incorrect_first_i…  in operator()
224 …void operator()( const T&, Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_…  in operator()
227 template <typename T> using Correct = ParallelForEachBody<T, /*() = */State::correct>;
228 template <typename T> using NoOperatorRoundBrackets = ParallelForEachBody<T, /*() = */State::not_de…
229 template <typename T> using OperatorRoundBracketsNonConst = ParallelForEachBody<T, /*() = */State::…
230 template <typename T> using WrongInputOperatorRoundBrackets = ParallelForEachBody<T, /*() = */State…
232 …ame T, typename F = T> using WithFeeder = ParallelForEachFeederBody<T, F, /*() = */State::correct>;
233 …g WithFeederNoOperatorRoundBrackets = ParallelForEachFeederBody<T, F, /*() = */State::not_defined>;
234 …rOperatorRoundBracketsNonConst = ParallelForEachFeederBody<T, F, /*() = */State::incorrect_constne…
235 …irstInputOperatorRoundBrackets = ParallelForEachFeederBody<T, F, /*() = */State::incorrect_first_i…
236 …condInputOperatorRoundBrackets = ParallelForEachFeederBody<T, F, /*() = */State::incorrect_second_…
287 … <typename Range, bool EnableSplitCtor, bool EnableDtor, State EnableFunctionCallOperator, State E…
294     void operator()( const Range& ) requires (EnableFunctionCallOperator == State::correct) {}  in operator()
295 …  void operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_input) {}  in operator()
297     void join( ParallelReduceBody& ) requires (EnableJoin == State::correct) {}  in join()
298     void join( Dummy ) requires (EnableJoin == State::incorrect_first_input) {}  in join()
301 …duceBody<R, /*SplitCtor = */true, /*Dtor = */true, /*() = */State::correct, /*Join = */State::corr…
302 …uceBody<R, /*SplitCtor = */false, /*Dtor = */true, /*() = */State::correct, /*Join = */State::corr…
303 …uceBody<R, /*SplitCtor = */true, /*Dtor = */false, /*() = */State::correct, /*Join = */State::corr…
304 …ceBody<R, /*SplitCtor = */true, /*Dtor = */true, /*() = */State::not_defined, /*Join = */State::co…
305 …y<R, /*SplitCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_input, /*Join = */Stat…
306 …duceBody<R, /*SplitCtor = */true, /*Dtor = */true, /*() = */State::correct, /*Join = */State::not_…
307 …duceBody<R, /*SplitCtor = */true, /*Dtor = */true, /*() = */State::correct, /*Join = */State::inco…
311 template <typename Range, State EnableFunctionCallOperator>
313 …int operator()( const Range&, const int& ) const requires (EnableFunctionCallOperator == State::co…  in operator()
314 …int operator()( const Range&, const int& ) requires (EnableFunctionCallOperator == State::incorrec…  in operator()
315 …int operator()( Dummy, const int& ) const requires (EnableFunctionCallOperator == State::incorrect…  in operator()
316 …int operator()( const Range&, Dummy ) const requires (EnableFunctionCallOperator == State::incorre…  in operator()
317 … const Range&, const int& ) const requires (EnableFunctionCallOperator == State::incorrect_return_…  in operator()
320 template <typename R> using Correct = ParallelReduceFunction<R, /*() = */State::correct>;
321 template <typename R> using NoOperatorRoundBrackets = ParallelReduceFunction<R, /*() = */State::not…
322 … using OperatorRoundBracketsNonConst = ParallelReduceFunction<R, /*() = */State::incorrect_constne…
323 …WrongFirstInputOperatorRoundBrackets = ParallelReduceFunction<R, /*() = */State::incorrect_first_i…
324 …rongSecondInputOperatorRoundBrackets = ParallelReduceFunction<R, /*() = */State::incorrect_second_…
325 …ing WrongReturnOperatorRoundBrackets = ParallelReduceFunction<R, /*() = */State::incorrect_return_…
329 template <typename T, State EnableFunctionCallOperator>
331 …T operator()( const T& a, const T& ) const requires (EnableFunctionCallOperator == State::correct)…  in operator()
332 …T operator()( const T& a, const T& ) requires (EnableFunctionCallOperator == State::incorrect_cons…  in operator()
333 …T operator()( Dummy, const T& a ) const requires (EnableFunctionCallOperator == State::incorrect_f…  in operator()
334 …T operator()( const T& a, Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_s…  in operator()
335 …Dummy operator()( const T&, const T& ) const requires (EnableFunctionCallOperator == State::incorr…  in operator()
338 template <typename T> using Correct = ParallelReduceCombine<T, /*() = */State::correct>;
339 template <typename T> using NoOperatorRoundBrackets = ParallelReduceCombine<T, /*() = */State::not_…
340 template <typename T> using OperatorRoundBracketsNonConst = ParallelReduceCombine<T, /*() = */State…
341 … WrongFirstInputOperatorRoundBrackets = ParallelReduceCombine<T, /*() = */State::incorrect_first_i…
342 …WrongSecondInputOperatorRoundBrackets = ParallelReduceCombine<T, /*() = */State::incorrect_second_…
343 …sing WrongReturnOperatorRoundBrackets = ParallelReduceCombine<T, /*() = */State::incorrect_return_…
347 …name Range, bool EnableSplitCtor, State EnableReverseJoin, State EnableAssign, State EnablePreScan…
351     void reverse_join( ParallelScanBody& ) requires (EnableReverseJoin == State::correct) {}  in reverse_join()
352     void reverse_join( Dummy ) requires (EnableReverseJoin == State::incorrect_first_input) {}  in reverse_join()
354     void assign( ParallelScanBody& ) requires (EnableAssign == State::correct) {}  in assign()
355     void assign( Dummy ) requires (EnableAssign == State::incorrect_first_input) {}  in assign()
357 …tor()( const Range&, tbb::pre_scan_tag ) requires (EnablePreScanRoundBrackets == State::correct) {}  in operator()
358 …void operator()( Dummy, tbb::pre_scan_tag ) requires (EnablePreScanRoundBrackets == State::incorre…  in operator()
359 …void operator()( const Range&, Dummy ) requires (EnablePreScanRoundBrackets == State::incorrect_se…  in operator()
361 …)( const Range&, tbb::final_scan_tag ) requires (EnableFinalScanRoundBrackets == State::correct) {}  in operator()
362 …void operator()( Dummy, tbb::final_scan_tag ) requires (EnableFinalScanRoundBrackets == State::inc…  in operator()
363 …void operator()( const Range&, Dummy ) requires (EnableFinalScanRoundBrackets == State::incorrect_…  in operator()
366 …= */true, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::corr…
367 … */false, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::corr…
368 …*/true, /*ReverseJoin = */State::not_defined, /*Assign = */State::correct, /*PreScan = */State::co…
369 …e, /*ReverseJoin = */State::incorrect_first_input, /*Assign = */State::correct, /*PreScan = */Stat…
370 …*/true, /*ReverseJoin = */State::correct, /*Assign = */State::not_defined, /*PreScan = */State::co…
371 …e, /*ReverseJoin = */State::correct, /*Assign = */State::incorrect_first_input, /*PreScan = */Stat…
372 …*/true, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::not_de…
373 …e, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::incorrect_f…
374 …e, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::incorrect_s…
375 …= */true, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::corr…
376 …= */true, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::corr…
377 …= */true, /*ReverseJoin = */State::correct, /*Assign = */State::correct, /*PreScan = */State::corr…
381 template <typename Range, typename T, State EnableFunctionCallOperator>
383 … Range&, const T& a, bool ) const requires (EnableFunctionCallOperator == State::correct) { return…  in operator()
384 …T operator()( const Range&, const T& a, bool ) requires (EnableFunctionCallOperator == State::inco…  in operator()
385 …T operator()( Dummy, const T& a, bool ) const requires (EnableFunctionCallOperator == State::incor…  in operator()
386 …T operator()( const Range&, Dummy, bool ) const requires (EnableFunctionCallOperator == State::inc…  in operator()
387 …Range&, const T& a, Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_third_i…  in operator()
388 … Range&, const T& a, bool ) const requires (EnableFunctionCallOperator == State::incorrect_return_…  in operator()
391 template <typename R, typename T> using Correct = ParallelScanFunction<R, T, /*() = */State::correc…
392 …ypename T> using NoOperatorRoundBrackets = ParallelScanFunction<R, T, /*() = */State::not_defined>;
393 …using OperatorRoundBracketsNonConst = ParallelScanFunction<R, T, /*() = */State::incorrect_constne…
394 …rongFirstInputOperatorRoundBrackets = ParallelScanFunction<R, T, /*() = */State::incorrect_first_i…
395 …ongSecondInputOperatorRoundBrackets = ParallelScanFunction<R, T, /*() = */State::incorrect_second_…
396 …rongThirdInputOperatorRoundBrackets = ParallelScanFunction<R, T, /*() = */State::incorrect_third_i…
397 …ng WrongReturnOperatorRoundBrackets = ParallelScanFunction<R, T, /*() = */State::incorrect_return_…
404 template <typename T, State EnableFunctionCallOperator>
406 …bool operator()( const T&, const T& ) const requires (EnableFunctionCallOperator == State::correct…  in operator()
407 …bool operator()( Dummy, const T& ) const requires (EnableFunctionCallOperator == State::incorrect_…  in operator()
408 …bool operator()( const T&, Dummy ) const requires (EnableFunctionCallOperator == State::incorrect_…  in operator()
409 …Dummy operator()( const T&, const T& ) const requires (EnableFunctionCallOperator == State::incorr…  in operator()
412 template <typename T> using Correct = Compare<T, /*() = */State::correct>;
413 template <typename T> using NoOperatorRoundBrackets = Compare<T, /*() = */State::not_defined>;
414 template <typename T> using WrongFirstInputOperatorRoundBrackets = Compare<T, /*() = */State::incor…
415 template <typename T> using WrongSecondInputOperatorRoundBrackets = Compare<T, /*() = */State::inco…
416 template <typename T> using WrongReturnOperatorRoundBrackets = Compare<T, /*() = */State::incorrect…
421 template <typename Key, bool EnableCopyCtor, bool EnableDtor, State EnableHash, State EnableEqual>
428     std::size_t hash( const Key& ) const requires (EnableHash == State::correct) { return 0; }  in hash()
429     std::size_t hash( const Key& ) requires (EnableHash == State::incorrect_constness) { return 0; }  in hash()
430 …std::size_t hash( Dummy ) const requires (EnableHash == State::incorrect_first_input) { return 0; }  in hash()
431 …Dummy hash( const Key& ) const requires (EnableHash == State::incorrect_return_type) { return Dumm…  in hash()
433 …bool equal( const Key&, const Key& ) const requires (EnableEqual == State::correct) { return true;…  in equal()
434 …bool equal( const Key&, const Key& ) requires (EnableEqual == State::incorrect_constness) { return…  in equal()
435 …bool equal( Dummy, const Key& ) const requires (EnableEqual == State::incorrect_first_input) { ret…  in equal()
436 …bool equal( const Key&, Dummy ) const requires (EnableEqual == State::incorrect_second_input) { re…  in equal()
437 …Dummy equal( const Key&, const Key& ) const requires (EnableEqual == State::incorrect_return_type)…  in equal()
440 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::cor…
441 …ompare<K, /*CopyCtor = */false, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::cor…
442 …ompare<K, /*CopyCtor = */true, /*Dtor = */false, /*Hash = */State::correct, /*Equal = */State::cor…
443 …mpare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::not_defined, /*Equal = */State::c…
444 …e<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::incorrect_constness, /*Equal = */Stat…
445 …<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::incorrect_first_input, /*Equal = */Sta…
446 …<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::incorrect_return_type, /*Equal = */Sta…
447 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::not…
448 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::inc…
449 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::inc…
450 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::inc…
451 …Compare<K, /*CopyCtor = */true, /*Dtor = */true, /*Hash = */State::correct, /*Equal = */State::inc…
456 …EnableSLDtor, State EnableSLAcquire, State EnableSLTryAcquire, bool EnableSLRelease, State EnableS…
465         void acquire( RwMutex&, bool = true ) requires (EnableSLAcquire == State::correct) {}
466 …   void acquire( Dummy, bool = true ) requires (EnableSLAcquire == State::incorrect_first_input) {}
467 …void acquire( RwMutex&, Dummy = Dummy{} ) requires (EnableSLAcquire == State::incorrect_second_inp…
469 …bool try_acquire( RwMutex&, bool = true ) requires (EnableSLTryAcquire == State::correct) { return…
470 …bool try_acquire( Dummy, bool = true ) requires (EnableSLTryAcquire == State::incorrect_first_inpu…
471 …bool try_acquire( RwMutex&, Dummy = Dummy{} ) requires (EnableSLTryAcquire == State::incorrect_sec…
472 …Dummy try_acquire( RwMutex&, bool = true ) requires (EnableSLTryAcquire == State::incorrect_return…
476         bool upgrade_to_writer() requires (EnableSLUpgrade == State::correct) { return true; }  in upgrade_to_writer()
477 …Dummy upgrade_to_writer() requires (EnableSLUpgrade == State::incorrect_return_type) { return Dumm…  in upgrade_to_writer()
479         bool downgrade_to_reader() requires (EnableSLDowngrade == State::correct) { return true; }  in downgrade_to_reader()
480 …Dummy downgrade_to_reader() requires (EnableSLDowngrade == State::incorrect_return_type) { return …  in downgrade_to_reader()
482         bool is_writer() const requires (EnableIsWriter == State::correct) { return true; }  in is_writer()
483 …Dummy is_writer() const requires (EnableIsWriter == State::incorrect_return_type) { return Dummy{}…  in is_writer()
484         bool is_writer() requires (EnableIsWriter == State::incorrect_constness) { return true; }  in is_writer()
488 template <State S>
492 inline const int mutex_trait_impl<State::incorrect> = 0;
495 inline bool mutex_trait_impl<State::non_constant_expression> = true;
497 …ableSLDefaultCtor, bool EnableSLMutexCtor, bool EnableSLDtor, State EnableSLAcquire, State EnableS…
498 …      bool EnableSLRelease, State EnableSLUpgrade, State EnableSLDowngrade, State EnableSLIsWriter>
505 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
506 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
507 …false, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
508 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
509 …true, /*DefaultCtor = */false, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
510 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
511 …true, /*DefaultCtor = */true, /*MutexCtor = */false, /*Dtor = */true, /*Acquire = */State::correct,
512 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
513 …true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */false, /*Acquire = */State::correct,
514 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
515 …e, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::not_defined,
516 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
517 …efaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::incorrect_first_i…
518 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
519 …efaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::incorrect_second_…
520 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
521 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
522 …ry_acquire = */State::not_defined, /*release = */true, /*upgrade = */State::correct, /*downgrade =…
523 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
524 …quire = */State::incorrect_first_input, /*release = */true, /*upgrade = */State::correct, /*downgr…
525 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
526 …uire = */State::incorrect_second_input, /*release = */true, /*upgrade = */State::correct, /*downgr…
527 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
528 …quire = */State::incorrect_return_type, /*release = */true, /*upgrade = */State::correct, /*downgr…
529 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
530 …try_acquire = */State::correct, /*release = */false, /*upgrade = */State::correct, /*downgrade = *…
531 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
532 …ry_acquire = */State::correct, /*release = */true, /*upgrade = */State::not_defined, /*downgrade =…
533 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
534 …quire = */State::correct, /*release = */true, /*upgrade = */State::incorrect_return_type, /*downgr…
535 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
536 …ry_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = */S…
537 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
538 …quire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = */State:…
539 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
540 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
541 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
542 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
543 …/true, /*DefaultCtor = */true, /*MutexCtor = */true, /*Dtor = */true, /*Acquire = */State::correct,
544 …*try_acquire = */State::correct, /*release = */true, /*upgrade = */State::correct, /*downgrade = *…
550 template <typename Output, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionCallOperator>
557 …Output operator()( tbb::flow_control& ) requires (EnableFunctionCallOperator == State::correct) { …  in operator()
558 …Output operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_input) {…  in operator()
559 …Dummy operator()( tbb::flow_control& ) requires (EnableFunctionCallOperator == State::incorrect_re…  in operator()
562 …O> using Correct = InputNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
563 …ing NonCopyable = InputNodeBody<O, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
564 …NonDestructible = InputNodeBody<O, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
565 …oundBrackets = InputNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
566 …rackets = InputNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
567 …rackets = InputNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_return_…
571 template <typename Input, typename Output, bool EnableCopyCtor, bool EnableDtor, State EnableFuncti…
578 …Output operator()( const Input& ) requires (EnableFunctionCallOperator == State::correct) { return…  in operator()
579 …Output operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_input) {…  in operator()
580 …Dummy operator()( const Input& ) requires (EnableFunctionCallOperator == State::incorrect_return_t…  in operator()
583 …ng Correct = FunctionNodeBody<I, O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
584 …nCopyable = FunctionNodeBody<I, O, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
585 …tructible = FunctionNodeBody<I, O, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
586 …ackets = FunctionNodeBody<I, O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
587 …s = FunctionNodeBody<I, O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
588 …s = FunctionNodeBody<I, O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_return_…
592 …ypename Output, typename PortsType, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionCall…
599 …void operator()( const Input&, PortsType& ) requires (EnableFunctionCallOperator == State::correct…  in operator()
600 …void operator()( Dummy, PortsType& ) requires (EnableFunctionCallOperator == State::incorrect_firs…  in operator()
601 …void operator()( const Input&, Dummy ) requires (EnableFunctionCallOperator == State::incorrect_se…  in operator()
612 …Body<I, O, output_ports_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
613 …ody<I, O, output_ports_type<I, O>, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
614 …ody<I, O, output_ports_type<I, O>, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
615 …<I, O, output_ports_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
616 …, output_ports_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
617 …, output_ports_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_second_…
626 …sNodeBody<I, O, gateway_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
627 …NodeBody<I, O, gateway_type<I, O>, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
628 …NodeBody<I, O, gateway_type<I, O>, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
629 …eBody<I, O, gateway_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
630 …<I, O, gateway_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
631 …<I, O, gateway_type<I, O>, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_second_…
635 template <typename Output, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionCallOperator>
642 …Output operator()( tbb::flow::continue_msg ) requires (EnableFunctionCallOperator == State::correc…  in operator()
643 …Output operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_input) {…  in operator()
644 …Dummy operator()( tbb::flow::continue_msg ) requires (EnableFunctionCallOperator == State::incorre…  in operator()
647 …using Correct = ContinueNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
648 … NonCopyable = ContinueNodeBody<O, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
649 …Destructible = ContinueNodeBody<O, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
650 …dBrackets = ContinueNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
651 …kets = ContinueNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
652 …kets = ContinueNodeBody<O, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_return_…
656 template <typename T, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionCallOperator>
663 …std::size_t operator()( const T& ) requires (EnableFunctionCallOperator == State::correct) { retur…  in operator()
664 …std::size_t operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_inp…  in operator()
665 …Dummy operator()( const T& ) requires (EnableFunctionCallOperator == State::incorrect_return_type)…  in operator()
668 …ame T> using Correct = Sequencer<T, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
669 …> using NonCopyable = Sequencer<T, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
670 …ing NonDestructible = Sequencer<T, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
671 …torRoundBrackets = Sequencer<T, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
672 …undBrackets = Sequencer<T, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
673 …undBrackets = Sequencer<T, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_return_…
677 template <typename Input, typename Key, bool EnableCopyCtor, bool EnableDtor, State EnableFunctionC…
684 …Key operator()( const Input& ) requires (EnableFunctionCallOperator == State::correct) { return Ke…  in operator()
685 …Key operator()( Dummy ) requires (EnableFunctionCallOperator == State::incorrect_first_input) { re…  in operator()
686 …Dummy operator()( const Input& ) requires (EnableFunctionCallOperator == State::incorrect_return_t…  in operator()
689 …rect = JoinNodeFunctionObject<I, K, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::correct>;
690 …ble = JoinNodeFunctionObject<I, K, /*CopyCtor = */false, /*Dtor = */true, /*() = */State::correct>;
691 …ble = JoinNodeFunctionObject<I, K, /*CopyCtor = */true, /*Dtor = */false, /*() = */State::correct>;
692 … = JoinNodeFunctionObject<I, K, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::not_defined>;
693 …inNodeFunctionObject<I, K, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_first_i…
694 …inNodeFunctionObject<I, K, /*CopyCtor = */true, /*Dtor = */true, /*() = */State::incorrect_return_…