Function sequant::opt::schedule::record_unpinnable_term

• Defined in File schedule_pin.cpp

Function Documentation

TermRecord sequant::opt::schedule::record_unpinnable_term(ExprPtr const &canonical)

The record of a term the optimizer handles but a pin cannot rebuild (a factor is a Sum or a Variable): key, factors and scalar of canonical, no tree, pinnable false. Recording lists such a term for completeness; rebuild_pinned_term refuses it.