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)

개념 StrictWeakOrder<R, T, U> 는 Relation R 가 인수들에 대해 엄격한 약순서(strict weak ordering)를 부과함을 명시합니다. 관계 r 가 엄격한 약순서인 경우는

  • 이는 비반사적(irreflexive)입니다: 모든 x 에 대해 r(x, x) 는 거짓입니다;
  • 이는 추이적(transitive)입니다: 모든 a , b , c 에 대해 r(a, b) 와 r(b, c) 가 모두 참이면 r(a, c) 도 참입니다;
  • e(a, b) 를 !r(a, b) && !r(b, a) 로 정의하면, e 는 추이적입니다: e(a, b) && e(b, c) 이면 e(a, c) 입니다.

이러한 조건 하에서, e 가 동치 관계임을 보일 수 있으며, r 은 e 에 의해 결정된 동치류들 위에 엄밀한 전순서를 유도합니다.

참고 사항

Relation 와 StrictWeakOrder 사이의 구분은 순전히 의미론적입니다.