dedekind::algebra::IsAdditiveGroup Concept Reference

Proposition: a set object X whose carrier is a group under +. More...

Concept definition

template<typename X, typename Add std::plus<typename X::Domain>>
concept dedekind::algebra::IsAdditiveGroup =  IsGroup<X, Add>

Detailed Description

Proposition: a set object X whose carrier is a group under +.

The std::plus-defaulted additive witness of the set-indexed IsGroup.

Template Parameters

X	The set object.
Add	The additive operation (defaults to std::plus<X::Domain>).