reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
801 assert(all_of(TerminatedPaths, [&](const TerminatedPath &P) { 809 Target, PausedSearches, NewPaused, TerminatedPaths)) { 854 MoveDominatedPathToEnd(TerminatedPaths); 855 TerminatedPath Result = TerminatedPaths.pop_back_val(); 856 return {Result, std::move(TerminatedPaths)}; 870 if (!TerminatedPaths.empty()) { 881 for (const TerminatedPath &TP : TerminatedPaths) {