std::experimental::ranges::StrictWeakOrder

Defined in header `<experimental/ranges/concepts>`
template< class R, class T, class U > concept bool StrictWeakOrder = Relation<R, T, U>;	(1)	(ranges TS)

コンセプトStrictWeakOrder<R, T, U>は、RelationRが引数に対して厳密弱順序を課すことを指定します。関係rが厳密弱順序であるとは、次の条件を満たす場合です。

反射律をみたさない：すべてのxについて、r(x, x)はfalseである。
推移律をみたさない：すべてのa、b、cについて、r(a, b)とr(b, c)が両方ともtrueならば、r(a, c)はtrueである。
e(a, b)を!r(a, b) && !r(b, a)とすると、eは推移律をみたさない：e(a, b) && e(b, c)ならばe(a, c)である。

これらの条件下では、eは同値関係であり、rはeによって決定される同値類上に厳密全順序を誘導することが示されます。

RelationとStrictWeakOrderの違いは、純粋に意味論的なものです。

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ

Technical Specification
ファイルシステムライブラリ (filesystem TS)
ライブラリ基本 (library fundamentals TS)
ライブラリ基本TS v2 (library fundamentals TS v2)
ライブラリ基本 3 (library fundamentals TS v3)
並列化拡張 (parallelism TS)
並列化拡張 2 (parallelism TS v2)
並行処理拡張 (concurrency TS)
並行処理拡張 2 (concurrency TS v2)
コンセプト (concepts TS)
Ranges (ranges TS)
リフレクション (reflection TS)
数学特殊関数 (special functions TR)
実験的 (非TS)
パターンマッチ
線形代数
std::execution
契約プログラミング
2Dグラフィックス