Searched refs:EndRank (Results 1 – 1 of 1) sorted by relevance
706 std::optional<size_t> EndRank = std::nullopt; in partialOrderVisit() local708 if (EndRank.has_value() && BlockToOrder[*It].Rank > *EndRank) in partialOrderVisit()716 EndRank = BlockToOrder[*It].Rank; in partialOrderVisit()