ALP User Documentation 0.7.0
Algebraic Programming User Documentation

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