ntlib::IsAdditiveCommutative Concept Reference

Restricts to types with a commutative addition operation. More...

Concept definition

template<typename T>
concept IsAdditiveCommutative = requires() {
  // Commutativity.
  // axiom(T a, T b) {
  //   a + b == b + a;
  // }
  ntlib::algebra_traits<T>::is_additive_commutative;
}

Detailed Description

Restricts to types with a commutative addition operation.

Template Parameters

T	A set with a commutative inner addition operation.