dedekind::order::RelabelSteps< A, F, L2 > Struct Template Reference

A source with every value relabelled into the species L2: a complement, a lift into a wider species, an α-cut. More...

Collaboration diagram for dedekind::order::RelabelSteps< A, F, L2 >:

Public Types
using	Domain = typename A::Domain
using	logic_species = L2

Public Member Functions
constexpr L2::Ω	first () const
constexpr auto	steps () const

Public Attributes
A	a
F	f

Detailed Description

template<IsStepSource A, typename F, typename L2 = typename A::logic_species>
struct dedekind::order::RelabelSteps< A, F, L2 >

A source with every value relabelled into the species L2: a complement, a lift into a wider species, an α-cut.

Template Parameters

A	the source.
F	the operation A's Ω → L2::Ω.
L2	the species.

---

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

• src/main/modules/dedekind/order/runs.cppm