dedekind::sequences::ScanSteps< S > Struct Template Reference

The normal form of s on the window [lo, hi], by exhaustion: a step source that walks the window (and the element after it) along chain_view and steps where χ changes, ⊥ outside the window. Lazy: one walk per traversal, nothing stored. More...

Collaboration diagram for dedekind::sequences::ScanSteps< S >:

Public Types
using	Domain = typename S::Domain
using	logic_species = Boole

Public Member Functions
constexpr bool	first () const
constexpr auto	steps () const

Public Attributes
S	s
Domain	lo
Domain	hi

Detailed Description

template<IsPstSet S>
struct dedekind::sequences::ScanSteps< S >

The normal form of s on the window [lo, hi], by exhaustion: a step source that walks the window (and the element after it) along chain_view and steps where χ changes, ⊥ outside the window. Lazy: one walk per traversal, nothing stored.

Template Parameters

S

the set.

---

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

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