dedekind::relational::ComposePred< PR, PS, B > Struct Template Reference

The composed predicate for the relative product \(R;S\) over a Boolean intermediate, the ∃-over-the-middle enumerated on {false, true}. More...

Public Member Functions
template<typename Pair> requires IsPairLike<Pair> && std::constructible_from<B, bool> && std::invocable<const PR&, std::pair<typename Pair::first_type, B>> && std::invocable<const PS&, std::pair<B, typename Pair::second_type>>
constexpr bool	operator() (const Pair &ac) const

Public Attributes
PR	r
PS	s

Detailed Description

template<typename PR, typename PS, typename B>
struct dedekind::relational::ComposePred< PR, PS, B >

The composed predicate for the relative product \(R;S\) over a Boolean intermediate, the ∃-over-the-middle enumerated on {false, true}.

---

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

• src/main/modules/dedekind/relational/dyadic.cppm