dedekind::order::Run< C > Struct Template Reference

A maximal run of membership as its closed ends, [lo, hi]. More...

Collaboration diagram for dedekind::order::Run< C >:

Public Attributes
C	lo
C	hi

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

Detailed Description

template<typename C>
struct dedekind::order::Run< C >

A maximal run of membership as its closed ends, [lo, hi].

Template Parameters

C	the chain.

---

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

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