dedekind::relational::CoreflexivePred< S > Struct Template Reference

The coreflexive predicate for \(\Delta_S = \{(x,x) \mid x \in S\}\) — the diagonal restricted to a unary set S (a partial identity): on the diagonal and in S. Carries S by value so it stays inspectable (no lambda). More...

Collaboration diagram for dedekind::relational::CoreflexivePred< S >:

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename A> requires std::invocable<const S&, const A&>
constexpr auto	operator() (const std::pair< A, A > &p) const
	\(x = y \wedge x \in S\) in the set's own logic: a Kleene S keeps Unknown and False (a bool cast would read Ternary::False, -1, as true).

Public Attributes
S	s

Detailed Description

template<typename S>
struct dedekind::relational::CoreflexivePred< S >

The coreflexive predicate for \(\Delta_S = \{(x,x) \mid x \in S\}\) — the diagonal restricted to a unary set S (a partial identity): on the diagonal and in S. Carries S by value so it stays inspectable (no lambda).

---

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

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