Function sequant::eval::detail::ordered_schedule_block_well_formed

• Defined in File ordered_schedule.hpp

Function Documentation

inline bool sequant::eval::detail::ordered_schedule_block_well_formed(ScopeBlock const &block, std::size_t num_values)

well_formed's recursive worker: checks block's own steps and outputs, recurses into every child ScopeBlock step, and checks ordinal uniqueness among block's own same-axis (IndexSpace::base_key()) sibling child blocks.