Searched refs:NodesReachableFromSCC (Results 1 – 3 of 3) sorted by relevance
77 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local79 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()107 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local108 EXPECT_TRUE(NodesReachableFromSCC.isSubsetOf(NodesInSomeSCC)); in TEST()
303 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local305 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()332 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local333 EXPECT_TRUE(NodesReachableFromSCC.isSubsetOf(NodesInSomeSCC)); in TEST()
301 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local303 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()330 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local331 EXPECT_TRUE(NodesReachableFromSCC.isSubsetOf(NodesInSomeSCC)); in TEST()