Searched refs:PredsEnd (Results 1 – 1 of 1) sorted by relevance
1326 RecIter PredsEnd = std::unique(Preds.begin(), Preds.end()); in inferFromTransitions() local1327 Preds.resize(PredsEnd - Preds.begin()); in inferFromTransitions()