reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
12410 if (Preds.implies(&Pred)) 12412 Preds.add(&Pred);