dedekind::relational::SwapPred< P > Struct Template Reference

The swapped predicate for converse: \(R^\smile(b,a) = R(a,b)\). More...

Collaboration diagram for dedekind::relational::SwapPred< P >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename Pair> requires IsPairLike<Pair> && std::invocable<const P&, swapped_t<Pair>>
constexpr auto	operator() (const Pair &pr) const

Public Attributes
P	p

Detailed Description

template<typename P>
struct dedekind::relational::SwapPred< P >

The swapped predicate for converse: \(R^\smile(b,a) = R(a,b)\).

---

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

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