Loading...
Searching...
No Matches
Dune::Std::three_way_comparable Concept Reference

The concept std::three_way_comparable specifies that the three way comparison operator <=> on T yield results consistent with the comparison category implied by Cat. More...

`#include <dune/common/std/compare.hh>`

## Concept definition

template<class T, class Cat std::partial_ordering>
concept Dune::Std::three_way_comparable =
Impl::weaklyEqualityComparableWith<T, T> &&
Impl::partiallyOrderedWith<T, T> &&
requires(const std::remove_reference_t<T>& a,
const std::remove_reference_t<T>& b)
{
{ a <=> b } -> Impl::comparesAs<Cat>;
}
Dune::Std::three_way_comparable
The concept std::three_way_comparable specifies that the three way comparison operator <=> on T yield...
Definition compare.hh:80

## Detailed Description

The concept std::three_way_comparable specifies that the three way comparison operator <=> on T yield results consistent with the comparison category implied by Cat.

The standard implementation is available in libstdc++ >= 10 and libc++ >= 14.