reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
57 NodesInThisSCC.AddNode(SCC[i]->first); 60 EXPECT_FALSE(NodesInThisSCC.isEmpty()); 65 if (NodesInThisSCC.count(i)) { 66 EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i))); 75 if (NodesInThisSCC.count(i)) { 78 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); 82 EXPECT_TRUE(G.NodesReachableFrom(j).Meet(NodesInThisSCC).isEmpty()); 94 EXPECT_TRUE(NodesInSomeSCC.Meet(NodesInThisSCC).isEmpty()); 96 NodesInSomeSCC = NodesInSomeSCC.Join(NodesInThisSCC); 105 if (NodesInThisSCC.count(i)) {