diff -r ca164520d31a -r a17d2a6462ee src/work/edmonds_karp.hh --- a/src/work/edmonds_karp.hh Mon Mar 01 14:43:07 2004 +0000 +++ b/src/work/edmonds_karp.hh Mon Mar 01 16:32:50 2004 +0000 @@ -528,7 +528,7 @@ //searching for augmenting path while ( !res_bfs.finished() ) { - AugOutEdgeIt e=AugOutEdgeIt(res_bfs); + AugOutEdgeIt e=/*AugOutEdgeIt*/(res_bfs); if (e.valid() && res_bfs.isBNodeNewlyReached()) { NodeIt v=res_graph.tail(e); NodeIt w=res_graph.head(e); @@ -556,6 +556,7 @@ return _augment; } + template bool augmentOnBlockingFlow() { bool _augment=false; @@ -567,7 +568,7 @@ bfs.pushAndSetReached(s); typename AugGraph::NodeMap dist(res_graph); //filled up with 0's while ( !bfs.finished() ) { - AugOutEdgeIt e=AugOutEdgeIt(bfs); + AugOutEdgeIt e=/*AugOutEdgeIt*/(bfs); if (e.valid() && bfs.isBNodeNewlyReached()) { dist.set(res_graph.head(e), dist.get(res_graph.tail(e))+1); } @@ -793,7 +794,7 @@ //searching for augmenting path while ( !res_bfs.finished() ) { - AugOutEdgeIt e=AugOutEdgeIt(res_bfs); + AugOutEdgeIt e=/*AugOutEdgeIt*/(res_bfs); if (e.valid() && res_bfs.isBNodeNewlyReached()) { NodeIt v=res_graph.tail(e); NodeIt w=res_graph.head(e);