Struct LoopKey

Struct Documentation

struct LoopKey

The stable identity of a batch loop: which loop-group (depth) and which member-slot within that group (loop_slot).

The cell table, the per-occurrence mode<->loop atlas, and ordered_n_batches_by_loop (see ordered_executor.hpp) all key on this identity; the layout (altitude_ordinal / latitude_ordinal on DagScopeLevel) never enters it. depth distinguishes even two groups of the same space (an “external” and a “contracted” group of one space); loop_slot distinguishes the members of one group. See doc/dev/specs/2026-09-12-batched-array-dag-eval-as-built.md, section 5.1.

Public Members

std::size_t depth

which loop-group

int loop_slot

which member-slot within the group (0-based)

Friends

inline friend bool operator==(LoopKey const &a, LoopKey const &b)
inline friend bool operator!=(LoopKey const &a, LoopKey const &b)