FreeBSD Manual Pages
std::experi...ctWeakOrder(3) C++ Standard Libary std::experi...ctWeakOrder(3) NAME std::experimental::ranges::StrictWeakOrder - std::experimen- tal::ranges::StrictWeakOrder Synopsis Defined in header <experimental/ranges/concepts> template < class R, class T, class U > (1) (ranges TS) concept bool StrictWeakOrder = Relation<R, T, U>; The concept StrictWeakOrder<R, T, U> specifies that the Relation R imposes a strict weak ordering on its arguments. A relation r is a strict weak order- ing if * it is irreflexive: for all x, r(x, x) is false; * it is transitive: for all a, b and c, if r(a, b) and r(b, c) are both true then r(a, c) is true; * let e(a, b) be !r(a, b) && !r(b, a), then e is transitive: e(a, b) && e(b, c) implies e(a, c). Under these conditions, it can be shown that e is an equivalence re- lation, and r induces a strict total ordering on the equivalence classes deter- mined by e. Notes The distinction between Relation and StrictWeakOrder is purely se- mantic. http://cppreference.com 2022.07.31 std::experi...ctWeakOrder(3)
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=std::experimental::ranges::StrictWeakOrder&sektion=3&manpath=FreeBSD+Ports+15.0>