Function sequant::eval::detail::dump_use_induced

Function Documentation

inline void sequant::eval::detail::dump_use_induced(std::size_t value_h, Index const &mode, std::size_t pos, std::size_t loop, std::size_t consumer_h)

[useinduced]: value value_h is sliced at position pos on loop loop because its consumer consumer_h is sliced on mode mode there (Layer 2 use-induced slicing).