VCCC  2024.05
VisualCamp Common C++ library
equivalence_relation.hpp
Go to the documentation of this file.
1 //
2 // Created by yonggyulee on 2023/12/27.
3 //
4 
5 #ifndef VCCC_CONCEPTS_EQUIVALENCE_RELATION_HPP
6 #define VCCC_CONCEPTS_EQUIVALENCE_RELATION_HPP
7 
8 #include "vccc/__concepts/relation.hpp"
9 
10 namespace vccc {
13 
22 template<typename R, typename T, typename U>
23 struct equivalence_relation : relation<R, T, U> {};
24 
26 
27 } // namespace vccc
28 
29 #endif // VCCC_CONCEPTS_EQUIVALENCE_RELATION_HPP
vccc
Definition: directory.h:12
vccc::equivalence_relation
specifies that a relation imposes an equivalence relation
Definition: equivalence_relation.hpp:23
vccc::relation
specifies that a callable type is a binary relation
Definition: relation.hpp:30