#include <algebraic_concepts.hpp>
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 . |
Concept Inversion.
Operation | A functor implementing a binary operation | |
Element | The type upon the binary operation is defined |