ALP User Documentation
0.8.preview
Algebraic Programming User Documentation
|
Used to inspect whether a given semiring has immutable nonzeroes under addition. More...
Static Public Attributes | |
static const constexpr bool | value = false |
Whether T a semiring where nonzeroes are immutable. More... | |
Used to inspect whether a given semiring has immutable nonzeroes under addition.
T | The semiring to inspect. |
An example of a monoid with an immutable identity is the logical OR, grb::operators::logical_or.
|
static |
Whether T a semiring where nonzeroes are immutable.