Function sequant::eval::detail::enumerate_realized_levels

• Defined in File ordered_schedule.hpp

Function Documentation

inline void sequant::eval::detail::enumerate_realized_levels(ScopeBlock const &block, container::vector<DagScopeLevel> &out)

Pre-order walk collecting every non-root ScopeBlock's DagScopeLevel into out, in schedule (structural) order &#8212; the canonical enumeration SlicedModeAssignment::levels holds. Deterministic given a fixed block (the same OrderedSchedule always yields the same sequence), and duplicate-free by construction: distinct ScopeBlock objects in the tree are, per assert_global_level_axis_uniqueness's invariant (consulted by compute_sliced_mode_assignment before this runs), each other’s only witness for a given (depth, space, ordinal) &#8212; i.e. no two different blocks visited here ever carry an equal level.