dedekind::numbers::PartialAddRational< I > Struct Template Reference

Partial addition transform for Rational. More...

Public Types
using	value_type = Rational<I>
using	logic_species = Kleene

Public Member Functions
TernaryResult< Rational< I > >	operator() (std::pair< const Rational< I > &, const Rational< I > & > p) const

Detailed Description

template<IsInteger I>
struct dedekind::numbers::PartialAddRational< I >

Partial addition transform for Rational.

rational__Partial_Arithmetic_with_Ternary_Logic

Since rational arithmetic is mathematically exact (no rounding loss), this always returns Ternary::True. The status could be Unknown if we wanted to check for integer overflow, but we delegate that responsibility to I's overflow predicates.

---

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

• src/main/modules/dedekind/numbers/rational.cppm