Function sequant::eval::dryrun::detail::check_accumulate_ranges

• Defined in File result.hpp

Function Documentation

inline void sequant::eval::dryrun::detail::check_accumulate_ranges(container::svector<Index> const &idx, ExtentOverrides const &ov, ExtentOverrides const &lob, Result const &other, std::shared_ptr<CostModel const> const &cm)

Accumulation (add_inplace) conformance: the accumulator and the partial must realize the same range on every mode (same slicing, same batch) &#8212; summing a partial of one batch into a cell of another is the stale-cell signature. Positional (both carry the result’s own index order).