Function sequant::eval::detail::ordered_forgo_block

Function Documentation

inline void sequant::eval::detail::ordered_forgo_block(CellRegistry &registry, ForgoPlan const &plan, ScopeBlock const &block, CellScope const &parent_scope, std::size_t base_depth)

The accounting half of a whole-block skip (ordered_block_fully_skipped): every production the block will not perform forgoes the reads it will not make, with the collapsed per-epoch count (see ordered_forgo_reads). Walks exactly the cells that walk enumerates.