reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4629 Matches.set(i); 4634 Matches[p] = (Predicates == PatternsToMatch[p].getPredicates()); 4637 for (int p = Matches.find_first(); p != -1; p = Matches.find_next(p)) 4637 for (int p = Matches.find_first(); p != -1; p = Matches.find_next(p)) 4640 MatchedPredicates[p] = Matches;