reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1115 undefs.reserve(128); 1118 undefs.push_back(ai); 1122 undefs.push_back(ai); 1124 std::sort(undefs.begin(), undefs.end(), AtomSorter()); 1124 std::sort(undefs.begin(), undefs.end(), AtomSorter()); 1126 for (AtomAndIndex &ai : undefs) {