dedekind::sequences::detail_relprod::IsMiddle< PR, PS, Pair > Struct Template Reference

Whether b is a middle for \((a, c)\): \(R(a,b) \wedge S(b,c)\), with b the i-th element of ℕ. More...

Public Member Functions
constexpr bool	operator() (std::size_t i) const

Public Attributes
const PR &	r
const PS &	s
const Pair &	ac

Detailed Description

template<typename PR, typename PS, typename Pair>
struct dedekind::sequences::detail_relprod::IsMiddle< PR, PS, Pair >

Whether b is a middle for \((a, c)\): \(R(a,b) \wedge S(b,c)\), with b the i-th element of ℕ.

---

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

• src/main/modules/dedekind/sequences/relprod.cppm