dedekind::category::BoundedAddTransform< T, BoundaryPolicy > Struct Template Reference

Addition that consults a user-supplied numeric boundary policy. More...

Public Types
using	logic_species = Kleene

Public Member Functions
constexpr TernaryResult< T >	operator() (std::pair< T, T > p) const noexcept

Public Attributes
BoundaryPolicy	boundary {}

Detailed Description

template<std::integral T, typename BoundaryPolicy = FullMachineBoundaryPolicy<T>>
requires IsLipschitzBoundaryPolicy<BoundaryPolicy, T>
struct dedekind::category::BoundedAddTransform< T, BoundaryPolicy >

Addition that consults a user-supplied numeric boundary policy.

This transform is intentionally policy-driven, so support can be supplied explicitly when a canonical Lipschitz boundary is unknown.

---

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

• src/main/modules/dedekind/category/partial.cppm