instigate::algebra::ring::requirements< T > Struct Template Reference
Requirements of the Ring Concept. More...
#include <_ring.hpp>
Inheritance diagram for instigate::algebra::ring::requirements< T >:
Public Member Functions | |
| requirements () | |
| The only available constructor. | |
Static Public Member Functions | |
| static void | require_distributivity () |
| Require the distributivity. | |
Detailed Description
template<typename T>
struct instigate::algebra::ring::requirements< T >
Requirements of the Ring Concept.
This code will be compiled if and only if T is a model of the instigate::algebra::ring concept.
Constructor & Destructor Documentation
template<typename T >
| instigate::algebra::ring::requirements< T >::requirements | ( | ) | [inline] |
The only available constructor.
Check the requirements of the instigate::algebra::ring::interface
Reimplemented from instigate::algebra::additive_group::requirements< T >.
References instigate::algebra::ring::requirements< T >::require_distributivity().
The documentation for this struct was generated from the following file:
- src/algebra/_ring.hpp