Function sequant::eval::detail::dump_level_bump

Function Documentation

inline void sequant::eval::detail::dump_level_bump(std::size_t v, std::size_t o, bool carried, int level)

[levels]: value v's pass was bumped by its operand o, which is either carried across a loop or read inside the loop that reduces it.