Typedef sequant::LoopId

• Defined in File dag_scope.hpp

Typedef Documentation

using sequant::LoopId = std::size_t

A realized DAG-scope loop’s stable id: its position in the canonical enumeration of every loop realized by the schedule (see SlicedModeAssignment::levels, ordered_schedule.hpp). Defined here (rather than in ordered_schedule.hpp) so the low-level cache seam below — consumed by CacheManager — can name it without pulling in the schedule machinery.