Lines Matching defs:CurrentSet

302   changeset_ty CurrentSet(Roots.begin(), Roots.end());
310   // Invariant:  CurrentSet intersect Required == {}
312   while (!CurrentSet.empty()) {
314       llvm::errs() << "DAG_DD - " << CurrentSet.size() << " active changes, "
320     changeset_ty CurrentMinSet = Helper.Run(CurrentSet);
323     //   CurrentMinSet subset CurrentSet
325     //   succ(CurrentSet) subset Required
333     CurrentSet.clear();
335       CurrentSet.insert(pred_begin(CT), pred_end(CT));
337     // FIXME: We could enforce CurrentSet intersect Required == {} here if we