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: