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

Concept Inversion. More...

#include <algebraic_concepts.hpp>

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

List of all members.

Public Types
typedef associated_type	inverse_result_type
	Associated type; if not defined in concept_map automatically detected as result of inverse.
Public Member Functions
inverse_result_type	inverse (Operation op, Element x)
	Returns inverse of x regarding operation op.

---

Detailed Description

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

Concept Inversion.

Parameters:

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

Associated Types:

• inverse_result_type

Valid Expressions:

• inverse(op, x);

---

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

• algebraic_concepts.hpp