Function sequant::opt::schedule::rebuild_pinned_term(eval::schedule::TermRecord const&, ExprPtr const&)

Function Documentation

PinnedTerm sequant::opt::schedule::rebuild_pinned_term(eval::schedule::TermRecord const &rec, ExprPtr const &canonical)

Rebuild the optimizer’s output from a record over canonical's factors; the annotations’ Index objects are looked up by eval::schedule::index_label among the subtree’s indices (protos included).

Throws:

sequant::Exception – naming rec.key when the factors differ from canonical's, or an axis label is not an index of its node’s subtree