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