dedekind::ieee::IsIEEEPropagationOp Concept Reference

Category-grounded contract for propagation operation tokens. More...

Concept definition

template<typename Op, typename F>
concept dedekind::ieee::IsIEEEPropagationOp = 
    std::floating_point<F> && IsAssociative<IEEE<F>, Op> &&
    requires(const Op& op, const IEEE<F>& x, const IEEE<F>& y) {
      { op({x, y}) } -> std::same_as<IEEE<F>>;
      { Op::sensitivity(x, y) } -> std::same_as<std::pair<F, F>>;
    }

Detailed Description

Category-grounded contract for propagation operation tokens.