Lines Matching full:lexicographical
2443 if (n == 0) // lexicographical sort if scores are the same
2519 if (n == 0) // lexicographical sort if scores are the same
Lines Matching full:lexicographical
2443 if (n == 0) // lexicographical sort if scores are the same
2519 if (n == 0) // lexicographical sort if scores are the same