ALP User Documentation  0.8.preview
Algebraic Programming User Documentation
List of all members
leq< D1, D2, D3, implementation > Class Template Reference

This operation returns whether the left operand compares less-than or equal to the right operand. More...

Inherits Operator< internal::leq< D1, D2, D3, implementation > >.

Detailed Description

template<typename D1, typename D2 = D1, typename D3 = D2, enum Backend implementation = config::default_backend>
class grb::operators::leq< D1, D2, D3, implementation >

This operation returns whether the left operand compares less-than or equal to the right operand.

Mathematical notation: \( \odot(x,y) \to x \leq y \).

The result is cast from bool to D3.

Warning
This operator expects numerical types for D1, D2, and D3, or types that have the appropriate operator<= overload available.

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