Lines Matching refs:sort
2576 std::sort(CasesBits.begin(), CasesBits.end(), CaseBitsCmp());2632 std::sort(Cases.begin(), Cases.end(), CaseCmp());2701 // representing each one, and sort the vector so that we can efficiently
