reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
217 for (unsigned i = 0; i < n-1; ++i) { 217 for (unsigned i = 0; i < n-1; ++i) { 218 if (FM[FactIDs[i]].matches(CapE)) { 219 FactIDs[i] = FactIDs[n-1];