Searched refs:NodesReachableFromSCC (Results 1 – 2 of 2) sorted by relevance
76 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local78 NodesReachableFromSCC.Meet(NodesInThisSCC.Complement()); in TEST()106 GT::NodeSubset NodesReachableFromSCC = G.NodesReachableFrom(i); in TEST() local107 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()