reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2974 for (unsigned k = i; k + 1 < j; ++k) 2974 for (unsigned k = i; k + 1 < j; ++k) 2975 if (shorter_filter(NewClauses[k+1], NewClauses[k])) { 2975 if (shorter_filter(NewClauses[k+1], NewClauses[k])) {