Lines Matching refs:NodesInThisSCC

281       GT::NodeSubset NodesInThisSCC;  in TEST()  local
283         NodesInThisSCC.AddNode(SCC[i]->first);  in TEST()
286       EXPECT_FALSE(NodesInThisSCC.isEmpty());  in TEST()
291         if (NodesInThisSCC.count(i))  in TEST()
292           EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i)));  in TEST()
300         if (NodesInThisSCC.count(i)) {  in TEST()
303             NodesReachableFromSCC.Meet(NodesInThisSCC.Complement());  in TEST()
307               EXPECT_TRUE(G.NodesReachableFrom(j).Meet(NodesInThisSCC).isEmpty());  in TEST()
318       EXPECT_TRUE(NodesInSomeSCC.Meet(NodesInThisSCC).isEmpty());  in TEST()
320       NodesInSomeSCC = NodesInSomeSCC.Join(NodesInThisSCC);  in TEST()
329         if (NodesInThisSCC.count(i)) {  in TEST()