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

An interval's sides as a source, valued value on it and ⊥ elsewhere: at most two steps. No sides is the whole carrier, no span the empty set, so the constants are spans too. More...

Public Types
using	Domain = V
using	logic_species = L

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

Public Attributes
std::optional< Span< V > >	span
L::Ω	value = L::True

Detailed Description

template<typename V, typename L>
struct dedekind::order::SpanSteps< V, L >

An interval's sides as a source, valued value on it and ⊥ elsewhere: at most two steps. No sides is the whole carrier, no span the empty set, so the constants are spans too.

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