Namespaces
Variants

std::experimental::ranges:: StrictWeakOrder

From 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.