reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1671 transform(I->PredTerm, std::back_inserter(Preds), 1675 Preds.erase(std::unique(Preds.begin(), Preds.end()), Preds.end()); 1675 Preds.erase(std::unique(Preds.begin(), Preds.end()), Preds.end()); 1675 Preds.erase(std::unique(Preds.begin(), Preds.end()), Preds.end()); 1675 Preds.erase(std::unique(Preds.begin(), Preds.end()), Preds.end()); 1676 SCTrans.PredTerm = std::move(Preds);