reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
696 auto *result = new CongruenceClass(NextCongruenceNum++, Leader, E); 2856 NextCongruenceNum = 0;