dedekind::order::RunListSteps< N, K > Struct Template Reference

Pst's run list (category:runs) as a step source: each of its steps the position just below it, the value from there on alternating from outside. Where both apply, on a finite chain with Boolean values, the order's run lists read it as any source, so ext, the merges and the cuts take it; the vocabulary they share is to move into category (#1138). More...

Classes
struct	AsStep
	The i-th step as the order's: below its position, in where i is even. More...

Public Types
using	Domain = N
using	logic_species

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

Public Attributes
dedekind::category::RunList< N, K >	list

Detailed Description

template<dedekind::category::IsCountWord N, std::size_t K>
struct dedekind::order::RunListSteps< N, K >

Pst's run list (category:runs) as a step source: each of its steps the position just below it, the value from there on alternating from outside. Where both apply, on a finite chain with Boolean values, the order's run lists read it as any source, so ext, the merges and the cuts take it; the vocabulary they share is to move into category (#1138).

Template Parameters

N	the counts.
K	its bound.

Member Typedef Documentation

logic_species

template<dedekind::category::IsCountWord N, std::size_t K>

using dedekind::order::RunListSteps< N, K >::logic_species

Initial value:

 
      typename dedekind::category::RunList<N, K>::logic_species

---

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

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