grb::identities Namespace Reference

Standard identities common to many operators. More...

Classes
class	infinity
	Standard identity for the minimum operator. More...
class	logical_false
	Standard identitity for the logical or operator. More...
class	logical_true
	Standard identity for the logical AND operator. More...
class	negative_infinity
	Standard identity for the maximum operator. More...
class	one
	Standard identity for numerical multiplication. More...
class	zero
	Standard identity for numerical addition. More...

Detailed Description

Standard identities common to many operators.

The most commonly used identities are

• grb::identities::zero, and
• grb::identities::one.

A stateful identity should expose the same public interface as the identities collected here, which is class which exposes at least one public templated function named value, taking no arguments, returning the identity in the domain D. This type D is the first template parameter of the function value. If there are other template parameters, those template parameters are required to have defaults.

See also

operators

Monoid

Semiring