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