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