Lines Matching refs:NodesInThisSCC

55       GT::NodeSubset NodesInThisSCC;  in TEST()  local
57         NodesInThisSCC.AddNode(SCC[i]->first);  in TEST()
60       EXPECT_FALSE(NodesInThisSCC.isEmpty());  in TEST()
65         if (NodesInThisSCC.count(i)) {  in TEST()
66           EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i)));  in TEST()
75         if (NodesInThisSCC.count(i)) {  in TEST()
78             NodesReachableFromSCC.Meet(NodesInThisSCC.Complement());  in TEST()
82               EXPECT_TRUE(G.NodesReachableFrom(j).Meet(NodesInThisSCC).isEmpty());  in TEST()
94       EXPECT_TRUE(NodesInSomeSCC.Meet(NodesInThisSCC).isEmpty());  in TEST()
96       NodesInSomeSCC = NodesInSomeSCC.Join(NodesInThisSCC);  in TEST()
105         if (NodesInThisSCC.count(i)) {  in TEST()