reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
399 undefinedAtoms.erase( 400 std::remove_if(undefinedAtoms.begin(), undefinedAtoms.end(), 400 std::remove_if(undefinedAtoms.begin(), undefinedAtoms.end(), 402 undefinedAtoms.end()); 405 if (undefinedAtoms.empty()) 410 for (const UndefinedAtom *undef : undefinedAtoms) {