ntlib::MultiplicativeMonoid Concept Reference

Restricts to types modeling a multiplicative monoid. More...

Concept definition

template<typename T>
concept MultiplicativeMonoid =
    HasMultiplicativeNeutral<T> && MultiplicativeSemigroup<T>

Detailed Description

Restricts to types modeling a multiplicative monoid.

Template Parameters

T	A set with an associative inner multiplication operation and a multiplicative neutral element.