Namespaces
Variants

    std::experimental::ranges:: StrictWeakOrder

    From de.cppreference.net
    C++
    Experimental
    Ranges
    Concepts library
    template < class R, class T, class U >
    concept bool StrictWeakOrder = Relation < R, T, U > ;
    		(1) (ranges TS)

    Das Konzept StrictWeakOrder<R, T, U> spezifiziert, dass die Relation R eine strenge schwache Ordnung auf ihre Argumente ausübt. Eine Relation r ist eine strenge schwache Ordnung, wenn

    • es ist irreflexiv: für alle x ist r(x, x) falsch;
    • es ist transitiv: für alle a , b und c , wenn r(a, b) und r(b, c) beide wahr sind, dann ist r(a, c) wahr;
    • sei e(a, b) definiert als !r(a, b) && !r(b, a) , dann ist e transitiv: e(a, b) && e(b, c) impliziert e(a, c) .

    Unter diesen Bedingungen lässt sich zeigen, dass e eine Äquivalenzrelation ist und r eine strenge Totalordnung auf den durch e bestimmten Äquivalenzklassen induziert.

    Hinweise

    Der Unterschied zwischen Relation und StrictWeakOrder ist rein semantisch.