catsfoot::equivalence< T, Rel > Struct Template Reference

Generic concept for equivalence relation. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::equivalence< T, Rel >:

Collaboration diagram for catsfoot::equivalence< T, Rel >:

List of all members.

Public Types
typedef concept_list < is_callable< Rel(T, T)> , std::is_convertible < typename is_callable< Rel(T, T)>::result_type, bool > >	requirements
Public Member Functions
	AXIOMS (reflexivity, symmetry, transitivity)
Static Public Member Functions
static void	reflexivity (const Rel &rel, const T &a)
static void	symmetry (const Rel &rel, const T &a, const T &b)
static void	transitivity (const Rel &rel, const T &a, const T &b, const T &c)

---

Detailed Description

template<typename T, typename Rel>
struct catsfoot::equivalence< T, Rel >

Generic concept for equivalence relation.

---

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

• concept/congruence.hh