Function sequant::eval::schedule::summary_line

• Defined in File schedule_document.cpp

Function Documentation

std::string sequant::eval::schedule::summary_line(Document const &d)

“roots=<n> terms=<n> values=<n> blocks=<n> depth=<n>”; the last three are “-” when the document has no dag section. depth = the deepest nesting of the block tree (number of ancestors of a block), not BlockRecord::depth