Function sequant::eval::detail::collect_productions

• Defined in File ordered_schedule.hpp

Function Documentation

inline void sequant::eval::detail::collect_productions(ScopeBlock const &block, container::svector<ScopeBlock const*> &path, container::vector<OutputSite> &builds, container::vector<OutputSite> &sites)

Collect every BuildStep site (value_id + its root-to-block path) into builds and every output escape site into sites. Both carry the path: well_formed's built-and-escaped rule compares where a value is built against where it escapes, not merely whether it does both.