chronon::sender::FlushRange
#include <Port.hpp>
Public Functions
| Name | |
|---|---|
| template <typename K > FlushRange | youngerThan(K key) |
| template <typename MinK ,typename MaxK > FlushRange | outsideInclusive(MinK min_keep, MaxK max_keep) |
| template <typename K > FlushRange | olderThan(K key) |
| uint64_t | minKeep() const |
| bool | minInclusive() const |
| uint64_t | maxKeep() const |
| bool | maxInclusive() const |
| bool | keeps(uint64_t key) const |
| FlushRange | intersectedWith(FlushRange other) const |
| template <typename K > FlushRange | atAndYounger(K key) |
| template <typename K > FlushRange | atAndOlder(K key) |
Friends
| Name | |
|---|---|
| bool | operator==(const FlushRange & , const FlushRange & ) |
Detailed Description
class chronon::sender::FlushRange;
Explicit keep range for an in-flight selective flush.
UID order follows the conventional CPU meaning: a larger UID is younger. Bounds retain their inclusive/exclusive form, so full-width keys and UID zero never require caller-side uid - 1 or uid + 1 arithmetic.
Public Functions Documentation
function youngerThan
template <typename K >
static inline FlushRange youngerThan(
K key
)
function outsideInclusive
template <typename MinK ,
typename MaxK >
static inline FlushRange outsideInclusive(
MinK min_keep,
MaxK max_keep
)
function olderThan
template <typename K >
static inline FlushRange olderThan(
K key
)
function minKeep
inline uint64_t minKeep() const
function minInclusive
inline bool minInclusive() const
function maxKeep
inline uint64_t maxKeep() const
function maxInclusive
inline bool maxInclusive() const
function keeps
inline bool keeps(
uint64_t key
) const
function intersectedWith
inline FlushRange intersectedWith(
FlushRange other
) const
function atAndYounger
template <typename K >
static inline FlushRange atAndYounger(
K key
)
function atAndOlder
template <typename K >
static inline FlushRange atAndOlder(
K key
)
Friends
friend operator==
friend bool operator==(
const FlushRange & ,
const FlushRange &
);
Updated on 2026-07-18 at 10:20:17 +0000