Home
last modified time | relevance | path

Searched refs:equivalence_relation (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/libcxx/test/std/concepts/concepts.callable/concept.equiv/
H A Dequivalence_relation.compile.pass.cpp16 static_assert(std::equivalence_relation<bool(int, int), int, int>);
17 static_assert(std::equivalence_relation<bool(int, int), double, double>);
18 static_assert(std::equivalence_relation<bool(int, double), double, double>);
20 static_assert(!std::equivalence_relation<bool (*)(), int, double>);
21 static_assert(!std::equivalence_relation<bool (*)(int), int, double>);
22 static_assert(!std::equivalence_relation<bool (*)(double), int, double>);
25 !std::equivalence_relation<bool(double, double*), double, double*>);
37 static_assert(std::equivalence_relation<P1, S1, S1>);
43 static_assert(!std::equivalence_relation<P2, S1, S2>);
50 static_assert(!std::equivalence_relation<P3, S1, S2>);
[all …]
H A Dequivalence_relation.subsumption.compile.pass.cpp34 requires std::equivalence_relation<F, T, U> && true
53 requires std::equivalence_relation<F, T, U>
66 requires std::equivalence_relation<F, T, T> && std::equivalence_relation<F, U, U>
72 requires std::equivalence_relation<F, T, U>
/llvm-project-15.0.7/libcxx/include/__iterator/
H A Dconcepts.h224 equivalence_relation<_Fp&, iter_value_t<_It1>&, iter_value_t<_It2>&> &&
225 equivalence_relation<_Fp&, iter_value_t<_It1>&, iter_reference_t<_It2>> &&
226 equivalence_relation<_Fp&, iter_reference_t<_It1>, iter_value_t<_It2>&> &&
227 equivalence_relation<_Fp&, iter_reference_t<_It1>, iter_reference_t<_It2>> &&
228 equivalence_relation<_Fp&, iter_common_reference_t<_It1>, iter_common_reference_t<_It2>>;
/llvm-project-15.0.7/libcxx/include/__concepts/
H A Drelation.h33 concept equivalence_relation = relation<_Rp, _Tp, _Up>; variable
/llvm-project-15.0.7/libcxx/include/
H A Dconcepts121 // [concept.equiv], concept equivalence_relation
123 concept equivalence_relation = see below;