diff -r 2e2618612b68 -r 28634fadbf9a src/hugo/graph_wrapper.h --- a/src/hugo/graph_wrapper.h Wed May 12 13:55:37 2004 +0000 +++ b/src/hugo/graph_wrapper.h Wed May 12 14:02:31 2004 +0000 @@ -916,6 +916,10 @@ else return backward_map[e/*.in*/]; } + void update() { + forward_map.update(); + backward_map.update(); + } // T get(Edge e) const { // if (e.out_or_in) // return forward_map.get(e.out); @@ -1251,6 +1255,10 @@ else return backward_map[e/*.in*/]; } + void update() { + forward_map.update(); + backward_map.update(); + } // T get(Edge e) const { // if (e.out_or_in) // return forward_map.get(e.out);