Searched refs:NodesInThisSCC (Results 1 – 3 of 3) sorted by relevance
56 GT::NodeSubset NodesInThisSCC; in TEST() local58 NodesInThisSCC.AddNode(SCC[i]->first); in TEST()61 EXPECT_FALSE(NodesInThisSCC.isEmpty()); in TEST()66 if (NodesInThisSCC.count(i)) { in TEST()67 EXPECT_TRUE(NodesInThisSCC.isSubsetOf(G.NodesReachableFrom(i))); in TEST()76 if (NodesInThisSCC.count(i)) { in TEST()79 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()83 EXPECT_TRUE(G.NodesReachableFrom(j).Meet(NodesInThisSCC).isEmpty()); in TEST()95 EXPECT_TRUE(NodesInSomeSCC.Meet(NodesInThisSCC).isEmpty()); in TEST()97 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 …]
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 …]