Typedef sequant::eval::LoopId

• Defined in File ordered_schedule.hpp

Typedef Documentation

using sequant::eval::LoopId = std::size_t

A stable identifier for one DAG-scope loop realized by build_ordered_schedule – an index into SlicedModeAssignment::levels, the schedule’s own canonical (deterministic pre-order) enumeration of every non-root ScopeBlock's DagScopeLevel. Two blocks that are structurally the same loop (identical (depth, space, ordinal)) always share one LoopId; two blocks that differ in any of those three – including two of a nest’s own pass blocks (one per pass, latitude = pass), which differ only in latitude_ordinal – get distinct ids by construction: a nest’s pass blocks must be distinguishable colors, not folded (“Placement, escapes, and pass splits”, doc/developer/batched_evaluation.rst).

Note

Defined in dag_scope.hpp so the low-level DAG-scope types can be named without depending on this schedule header; re-exported here so the schedule-side code can name it as eval::LoopId.