dedekind::order::Runs< V, L > Struct Template Reference

A set of the chain V valued in L, materialised: its breakpoints, each the value from that position on, and the value before them. The one stored form, for a value that must outlive the term it was read from (a Python handle); a source like any other, its steps a view of the map. More...

Inheritance diagram for dedekind::order::Runs< V, L >:

Collaboration diagram for dedekind::order::Runs< V, L >:

Public Types
using	Domain = V
using	Codomain = typename L::Ω
using	logic_species = L
using	cardinality_type = carrier_cardinality_t<V>
using	Ω = typename L::Ω
using	Map = std::map<Position<V>, Ω>
Public Types inherited from dedekind::sets::SetExpr< Runs< V, Boole >, V, Boole >
using	Domain
using	Codomain
using	logic_species

Public Member Functions
	Runs ()=default
	The empty set.
template<IsStepSource S> requires std::same_as<typename S::Domain, V> && std::same_as<typename S::logic_species, L>
	Runs (const S &s)
	Materialise a source: drain its steps into the map.
const Map &	breakpoints () const
	The breakpoints, in order.
Ω	first () const
auto	steps () const
Ω	operator() (const V &x) const
	χ(x): the value from the last breakpoint at or before x.
bool	contains (const V &x) const
Public Member Functions inherited from dedekind::sets::SetExpr< Runs< V, Boole >, V, Boole >
constexpr V	ι (const Member &m) const

Static Public Member Functions
static Runs	empty ()
static Runs	universe ()

Detailed Description

template<typename V, typename L = Boole>
requires IsTotallyOrdered<V> && IsOckhamAlgebra<L>
struct dedekind::order::Runs< V, L >

A set of the chain V valued in L, materialised: its breakpoints, each the value from that position on, and the value before them. The one stored form, for a value that must outlive the term it was read from (a Python handle); a source like any other, its steps a view of the map.

Template Parameters

V	the carrier.
L	the species.

---

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

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