reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
537 Low = Safe.upper_bound(ToMark); 539 if (Low != Safe.begin()) 540 Low--; 544 if (Low != Safe.end()) { 545 if (isPrefix(*Low, ToMark)) 551 ++Low; 554 Low = Safe.insert(Low, ToMark); 554 Low = Safe.insert(Low, ToMark); 555 ++Low; 558 while (Low != End && isPrefix(ToMark, *Low)) { 558 while (Low != End && isPrefix(ToMark, *Low)) { 559 std::set<IndicesVector>::iterator Remove = Low; 560 ++Low;