ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
Static Public Member Functions | List of all members
logical_false< D > Class Template Reference

Standard identitity for the logical or operator. More...

Static Public Member Functions

static const constexpr D value ()
 

Detailed Description

template<typename D>
class grb::identities::logical_false< D >

Standard identitity for the logical or operator.

See also
operators::logical_or.

Member Function Documentation

◆ value()

static const constexpr D value ( )
inlinestatic
Template Parameters
DThe domain of the value to return.
Returns
The identity under the standard logical OR operator, i.e., false.

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