Logo MTL4
algebra::Commutative< Operation, Element > Struct Template Reference

Concept Commutative. More...

#include <algebraic_concepts.hpp>

Inheritance diagram for algebra::Commutative< Operation, Element >:
Inheritance graph
[legend]

Detailed Description

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

Concept Commutative.

Parameters:
OperationA functor implementing a binary operation
ElementThe type upon the binary operation is defined
Notation:
op Object of type Operation
x, y Objects of type Element
Invariant:
Commutativity op(x, y) == op(y, x)

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


algebra::Commutative< Operation, Element > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine -- Gen. with rev. 7542 on Sat Aug 11 2012 by doxygen 1.7.6.1 -- © 2010 by SimuNova UG.