algebra::Associative< Operation, Element > Struct Template Reference
[Concepts]
Concept Associative.
More...
#include <algebraic_concepts.hpp>
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: