On Thu, Nov 01, 2018 at 01:46:22PM +0000, Derrick Stolee wrote: > 1. EXPLORE: using the explore_queue priority queue (ordered by > maximizing the generation number) > 2. INDEGREE: using the indegree_queue priority queue (ordered > by maximizing the generation number) Nit: I've been pondering for a while what exactly does "order by maximizing ..." mean. Highest to lowest or lowest to highest? If I understand the rest of the descriptions (that I snipped) correctly, then it's the former, but I find that phrase in itself too ambiguous.
