ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
Classes
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

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