std::relation
Определено в заголовке <concepts> | ||
|---|---|---|
template< class R, class T, class U >
concept relation =
std::predicate<R, T, T> && std::predicate<R, U, U> &&
std::predicate<R, T, U> && std::predicate<R, U, T>;
| (1) | (с C++20) |
Концепция relation<R, T, U> указывает, что R определяет бинарное отношение над множеством выражений, тип и категория значений которых кодируются либо T, либо U.
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/concepts/relation