libstdc++: Implement new predicate concepts from P1716R3
authorJonathan Wakely <jwakely@redhat.com>
Thu, 14 Nov 2019 16:53:18 +0000 (16:53 +0000)
committerJonathan Wakely <redi@gcc.gnu.org>
Thu, 14 Nov 2019 16:53:18 +0000 (16:53 +0000)
commit270082a7e126f727437c99ab8403185e9f29244c
treea181dca4756dfc7933005cc73946aa65c7ca9fb8
parentd99828eea22b6ae852f993ce8732d686faf63c95
libstdc++: Implement new predicate concepts from P1716R3

* include/bits/iterator_concepts.h (__iter_concept_impl): Add
comments.
(indirect_relation): Rename to indirect_binary_predicate and adjust
definition as per P1716R3.
(indirect_equivalence_relation): Define.
(indirectly_comparable): Adjust definition.
* include/std/concepts (equivalence_relation): Define.
* testsuite/std/concepts/concepts.callable/relation.cc: Add tests for
equivalence_relation.

From-SVN: r278256
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/iterator_concepts.h
libstdc++-v3/include/std/concepts
libstdc++-v3/testsuite/std/concepts/concepts.callable/relation.cc