Searched refs:rangeLeqSorts (Results 1 – 1 of 1) sorted by relevance
377 const NatSet& rangeLeqSorts = rangeSort->getLeqSorts(); in findMinSortIndex() local378 infSoFar.intersect(rangeLeqSorts); in findMinSortIndex()385 if (infSoFar == rangeLeqSorts) in findMinSortIndex()