Template Function sequant::opt::detail::outer_extent

• Defined in File single_term_detail.hpp

Function Documentation

template<typename Ixex>
std::size_t sequant::opt::detail::outer_extent(Ixex const &ixex, Index const &ix)

The integer extent of the proto-free index ix under ixex.

The single seam through which the cost models ask a backend for an integer extent, so the has_index_extent contract (“proto-free indices only”) is enforced in one place: a composite index is a programming error here, not a request the backend has to answer.