Loading [MathJax]/extensions/tex2jax.js
ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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: