algebra::Inversion< Operation, Element > Struct Template Reference
[Concepts]

Concept Inversion. More...

#include <algebraic_concepts.hpp>

Inheritance diagram for algebra::Inversion< Operation, Element >:
algebra::Group< Operation, Element > algebra::AbelianGroup< 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:
 All Classes Namespaces Functions Variables Typedefs Enumerations Friends
Generated by  doxygen 1.6.2-20100208