reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
381 if (It != Lits.end()) { 383 unsigned Index = It - Lits.begin();