A piece of a discrete chain with ends, read closed: a canonical start is just below its first element, an end just below the element after its last; an absent side at the carrier's end. More...

Public Member Functions
constexpr Run< C >	operator() (const Piece< C > &p) const

Detailed Description

template<typename C>
struct dedekind::order::detail_runs::Closed< C >

A piece of a discrete chain with ends, read closed: a canonical start is just below its first element, an end just below the element after its last; an absent side at the carrier's end.

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

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

Public Member Functions

Detailed Description