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

Division with 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::BoundedDivTransform< T, BoundaryPolicy >

Division with user-supplied numeric boundary policy.

---

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

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