dedekind::order::Piece< V > Struct Template Reference

A piece on which a two-valued source holds: a start (nullopt below every element) and an end (nullopt above). More...

Public Attributes
std::optional< Position< V > >	start
std::optional< Position< V > >	end

Friends
constexpr bool	operator== (const Piece &, const Piece &)=default

Detailed Description

template<typename V>
struct dedekind::order::Piece< V >

A piece on which a two-valued source holds: a start (nullopt below every element) and an end (nullopt above).

Template Parameters

V	the carrier.

---

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

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