equal
deleted
inserted
replaced
107 if ( dfs_test.pred(v)!=INVALID ) { |
107 if ( dfs_test.pred(v)!=INVALID ) { |
108 Edge e=dfs_test.pred(v); |
108 Edge e=dfs_test.pred(v); |
109 Node u=G.source(e); |
109 Node u=G.source(e); |
110 check(u==dfs_test.predNode(v),"Wrong tree."); |
110 check(u==dfs_test.predNode(v),"Wrong tree."); |
111 check(dfs_test.dist(v) - dfs_test.dist(u) == 1, |
111 check(dfs_test.dist(v) - dfs_test.dist(u) == 1, |
112 "Wrong distance." << dfs_test.dist(v) << " " <<dfs_test.dist(u) ); |
112 "Wrong distance. (" << dfs_test.dist(u) << "->" |
|
113 <<dfs_test.dist(v) << ')'); |
113 } |
114 } |
114 } |
115 } |
115 } |
116 } |
116 |
117 |