algebra::Associative< Operation, Element > Struct Template Reference

Concept Associative. More...

#include <algebraic_concepts.hpp>

Inheritance diagram for algebra::Associative< Operation, Element >:

---

Detailed Description

template<typename Operation, typename Element>
struct algebra::Associative< Operation, Element >

Concept Associative.

Parameters:

Operation	A functor implementing a binary operation
Element	The type upon the binary operation is defined

Notation:

op	Object of type Operation
x, y, z	Objects of type Element

Invariant:

Associativity

op(x, op(y, z)) == op(op(x, y), z)

---

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

• algebraic_concepts.hpp