Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::detail_runs::MapSteps< V, L > Struct Template Reference

A sorted map of breakpoints as a source. More...

Collaboration diagram for dedekind::order::detail_runs::MapSteps< V, L >:

Public Types

using Domain = V
using logic_species = L

Public Member Functions

L::Ω first () const
auto steps () const

Public Attributes

L::Ω value_before
std::map< Position< V >, typename L::Ω > map

Detailed Description

template<typename V, typename L>
struct dedekind::order::detail_runs::MapSteps< V, L >

A sorted map of breakpoints as a source.


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