Lines Matching full:lexicographical
778 // This is a simple lexicographical order that can be used to search for sets.