dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order > Struct Template Reference

One more element into the best K so far, sorted by the rank: inserted after those it does not rank before, so ties keep the walk's order, and the last cut where the list overflows. O(K) on the stack. More...

Public Member Functions
constexpr AtMost< T, K >	operator() (const AtMost< T, K > &best, const T &x) const

Public Attributes
Before< Rank, Order >	before

Detailed Description

template<typename T, std::size_t K, typename Rank, typename Order>
struct dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order >

One more element into the best K so far, sorted by the rank: inserted after those it does not rank before, so ties keep the walk's order, and the last cut where the list overflows. O(K) on the stack.

---

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

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