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