| 1 | void test_1() { |
| 2 | vvi adj(4); |
| 3 | |
| 4 | adj[0].push_back(1); |
| 5 | adj[1].push_back(0); |
| 6 | adj[1].push_back(2); |
| 7 | adj[2].push_back(3); |
| 8 | adj[3].push_back(2); |
| 9 | |
| 10 | pair<union_find, vi> res = scc(adj); |
| 11 | union_find scc = res.first; |
| 12 | vi dag = res.second; |
| 13 | |
| 14 | assert_equal(scc.find(0), scc.find(1)); |
| 15 | assert_equal(scc.find(2), scc.find(3)); |
| 16 | assert_not_equal(scc.find(0), scc.find(2)); |
| 17 | |
| 18 | assert_equal(scc.find(2), scc.find(dag[0])); |
| 19 | assert_equal(scc.find(0), scc.find(dag[1])); |
| 20 | } |
| 21 | |
| 22 | void test_2() { |
| 23 | vvi adj(2); |
no test coverage detected