Searched refs:LeaderDFS (Results 1 – 1 of 1) sorted by relevance
754 unsigned LeaderDFS = 0; in createCongruenceClass() local760 LeaderDFS = ~0; in createCongruenceClass()762 LeaderDFS = InstrToDFSNum(I); in createCongruenceClass()764 new CongruenceClass(NextCongruenceNum++, {Leader, LeaderDFS}, E); in createCongruenceClass()