dedekind::category::ChainWalk< T > Struct Template Reference

Where a walk from lo ends: the last value reached and how many values it took. reached_hi says whether it stopped at hi (rather than at a saturating top short of it, or at the end of the budget). More...

Collaboration diagram for dedekind::category::ChainWalk< T >:

Public Member Functions
constexpr bool	operator== (const ChainWalk &) const =default

Public Attributes
T	last
std::size_t	length
bool	ended
bool	reached_hi

Detailed Description

template<typename T>
struct dedekind::category::ChainWalk< T >

Where a walk from lo ends: the last value reached and how many values it took. reached_hi says whether it stopped at hi (rather than at a saturating top short of it, or at the end of the budget).

---

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

• src/main/modules/dedekind/category/mereology.cppm