Searched refs:NodesInThisSCC (Results 1 – 2 of 2) sorted by relevance
281 GT::NodeSubset NodesInThisSCC; in TEST() local283 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()[all …]
283 GT::NodeSubset NodesInThisSCC; in TEST() local285 NodesInThisSCC.AddNode(SCC[i]->first); in TEST()288 EXPECT_FALSE(NodesInThisSCC.isEmpty()); in TEST()293 if (NodesInThisSCC.count(i)) in TEST()294 EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i))); in TEST()302 if (NodesInThisSCC.count(i)) { in TEST()305 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()309 EXPECT_TRUE(G.NodesReachableFrom(j).Meet(NodesInThisSCC).isEmpty()); in TEST()320 EXPECT_TRUE(NodesInSomeSCC.Meet(NodesInThisSCC).isEmpty()); in TEST()322 NodesInSomeSCC = NodesInSomeSCC.Join(NodesInThisSCC); in TEST()[all …]