dedekind::ieee::IEEEAdd< F > Struct Template Reference

Certified operation token for addition under IEEE-by-fiat semantics. More...

Public Types
using	value_type = IEEE<F>
using	logic_species = Boole

Public Member Functions
constexpr IEEE< F >	operator() (std::pair< const IEEE< F > &, const IEEE< F > & > p) const noexcept

Static Public Member Functions
static constexpr std::pair< F, F >	sensitivity (const IEEE< F > &, const IEEE< F > &) noexcept

Detailed Description

template<std::floating_point F>
struct dedekind::ieee::IEEEAdd< F >

Certified operation token for addition under IEEE-by-fiat semantics.

---

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

• src/main/modules/dedekind/ieee/ieee.cppm