Searched refs:NodesInThisSCC (Results 1 – 1 of 1) sorted by relevance
55 GT::NodeSubset NodesInThisSCC; in TEST() local57 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()[all …]