Logo MTL4
algebra::Distributive< AddOp, MultOp, Element > Struct Template Reference

Concept Distributive. More...

#include <algebraic_concepts.hpp>

Inheritance diagram for algebra::Distributive< AddOp, MultOp, Element >:
Inheritance graph
[legend]

Detailed Description

template<typename AddOp, typename MultOp, typename Element>
struct algebra::Distributive< AddOp, MultOp, Element >

Concept Distributive.

Parameters:
AddOpA functor implementing a binary operation representing addition
MultOpA functor implementing a binary operation representing multiplication
ElementThe type upon the binary operation is defined
Notation:
add Object of type AddOp
mult Object of type Multop
x, y, z Objects of type Element
Invariant:
Distributivity from left mult(x, add(y, z)) == add(mult(x, y), mult(x, z))
Distributivity from right mult(add(x, y), z) == add(mult(x, z), mult(y, z))

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


algebra::Distributive< AddOp, MultOp, 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.