Logo MTL4

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:


algebra::Associative< Operation, Element > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine -- Generated on 24 Aug 2009 by Doxygen 1.5.9 -- Copyright 2008-09 by TU Dresden and the Trustees of Indiana University.