reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
960 SUColorsPending.insert(PendingColoring[Succ->NodeNum]); 966 PendingColoring[SU->NodeNum] = *SUColors.begin(); 969 PendingColoring[SU->NodeNum] = NextNonReservedID++; 971 CurrentColoring = PendingColoring;