catsfoot::equivalence_eq< T > Struct Template Reference

Concept for equivalence relation with operator==. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::equivalence_eq< T >:

Collaboration diagram for catsfoot::equivalence_eq< T >:

List of all members.

Public Types
typedef concept_list< equality < T >, equivalence< T, op_eq > >	requirements

---

Detailed Description

template<typename T>
struct catsfoot::equivalence_eq< T >

Concept for equivalence relation with operator==.

---

The documentation for this struct was generated from the following file:

• concept/congruence.hh