ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
Static Public Attributes | List of all members
has_immutable_nonzeroes< T > Struct Template Reference

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...
 

Detailed Description

template<typename T>
struct grb::has_immutable_nonzeroes< T >

Used to inspect whether a given semiring has immutable nonzeroes under addition.

Template Parameters
TThe semiring to inspect.

An example of a monoid with an immutable identity is the logical OR, grb::operators::logical_or.

Member Data Documentation

◆ value

const constexpr bool value = false
static

Whether T a semiring where nonzeroes are immutable.


The documentation for this struct was generated from the following file: