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