instigate::algebra::additive_group::requirements< T > Struct Template Reference

Requirements of the Additive Group Concept. More...

#include <_additive_group.hpp>

Inheritance diagram for instigate::algebra::additive_group::requirements< T >:

List of all members.

Public Member Functions
	requirements ()
	The only available constructor.
Static Public Member Functions
static void	require_opposite (const T &a)
	Require the opposite() method, which must be defined in instigate::algebra::additive_group::interface.
static void	require_opposite_return_type (const T &a)
	Require the same type of the return value and the argument of the opposite() method.
static void	require_minus (const T &a, const T &b)
	Require the minus() method, which must be defined in the instigate::algebra::additive_group::interface.
static void	require_minus_return_type (const T &a, const T &b)
	Require the same type of the return value and the arguments of the minus() method.

---

Detailed Description

template<typename T>
struct instigate::algebra::additive_group::requirements< T >

Requirements of the Additive Group Concept.

This code will be compiled if and only if T is a model of the instigate::algebra::additive_group concept.

---

Constructor & Destructor Documentation

template<typename T >

instigate::algebra::additive_group::requirements< T >::requirements

(

)

[inline]

The only available constructor.

Check the requirements of the instigate::algebra::additive_group::interface

Reimplemented from instigate::algebra::additive_monoid::requirements< T >.

Reimplemented in instigate::algebra::ring::requirements< T >.

References instigate::algebra::additive_group::requirements< T >::require_minus(), instigate::algebra::additive_group::requirements< T >::require_minus_return_type(), instigate::algebra::additive_group::requirements< T >::require_opposite(), and instigate::algebra::additive_group::requirements< T >::require_opposite_return_type().

---

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

• src/algebra/_additive_group.hpp