Requirements of the Assignable Concept. More...
#include <_assignable.hpp>
Public Member Functions | |
| requirements () | |
| Constructor. | |
Static Public Member Functions | |
| static void | require_assign (T &a, const T &b) |
| Require the assign() method, which must be defined in the instigate::assignable::interface. | |
| static void | require_copy_constructor (char *p, const T &ob) |
| Require the copy_constructor() method, which must be defined in the instigate::assignable::interface. | |
Requirements of the Assignable Concept.
This code will be compiled if and only if T is a model of the instigate::assignable concept.
| instigate::assignable::requirements< T >::requirements | ( | ) | [inline] |
Constructor.
Check the requirements of instigate::assignable::interface
Reimplemented in instigate::algebra::additive_group::requirements< T >, instigate::algebra::additive_magma::requirements< T >, instigate::algebra::additive_monoid::requirements< T >, instigate::algebra::additive_semi_group::requirements< T >, instigate::algebra::multiplicative_group::requirements< T >, instigate::algebra::multiplicative_magma::requirements< T >, instigate::algebra::multiplicative_monoid::requirements< T >, instigate::algebra::multiplicative_semi_group::requirements< T >, and instigate::algebra::ring::requirements< T >.
References instigate::assignable::requirements< T >::require_assign(), and instigate::assignable::requirements< T >::require_copy_constructor().