std::equivalence_relation(3cxx)
πΈ NAME πΈ
std::equivalence_relation β bestie this is the [concept.equiv] concept, aka the equivalence_relation concept, and it lives in the C++ standard library (libstdc++), manual section 3cxx π
β¨ SYNOPSIS β¨
First things first, you gotta bring in the concepts header:
#include <concepts>
π Concept definition π
Here's the whole thing, and honestly it's giving minimalist queen:
template<typename _Rel, typename _Tp, typename _Up>
concept std::equivalence_relation = relation<_Rel, _Tp, _Up>
So yeah β three template params, _Rel, _Tp, and _Up β and the concept is defined as being satisfied exactly when relation<_Rel, _Tp, _Up> holds. That's it. That's the whole vibe. It literally just forwards the whole thing to relation and lets that do the talking. No cap π«Ά
π Detailed Description π
This is the [concept.equiv] concept β the one and only equivalence_relation. That's the concept, that's its name, that's the section of the standard it comes from, periodt β¨
Heads up bestie: this page is auto-generated, so there's no long prose story here β the definition above is the tea π
π Author π
Generated automatically by Doxygen for libstdc++ from the source code. So no human author to thank, the robot did it, and honestly? She ate π€π
That's the whole page, bestie! Sourced from libstdc++, manual page std::equivalence_relation(3cxx) β go forth and constrain ur templates, ilysm π¦ππ
π¦ where this page comes from
- ubuntu resolute: libstdc++-12-doc 12.5.0-9ubuntu1
- ubuntu resolute: libstdc++-13-doc 13.4.0-10ubuntu1
- ubuntu resolute: libstdc++-16-doc 16-20260322-1ubuntu1
- ubuntu stonking: libstdc++-12-doc 12.5.0-9ubuntu1
- ubuntu stonking: libstdc++-13-doc 13.5.0-1ubuntu1
- ubuntu stonking: libstdc++-16-doc 16.2.0-3ubuntu1
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms