catsfoot::congruence< Rel, Op, Args > Struct Template Reference

Check whether an operation sees equality as congruence relation. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::congruence< Rel, Op, Args >:

Collaboration diagram for catsfoot::congruence< Rel, Op, Args >:

List of all members.

Public Types
typedef concept_list < equivalence< Args, Rel > ..., is_callable< Op(Args...)> , equivalence< typename is_callable< Op(Args...)> ::result_type, Rel > >	requirements
Public Member Functions
	AXIOMS (congruence_axiom)
Static Public Member Functions
static void	congruence_axiom (const std::tuple< Args...> &args1, const std::tuple< Args...> &args2, const Op &op, const Rel &rel)

---

Detailed Description

template<typename Rel, typename Op, typename... Args>
struct catsfoot::congruence< Rel, Op, Args >

Check whether an operation sees equality as congruence relation.

---

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

• concept/congruence.hh