1.1 --- a/src/hugo/graph_wrapper.h	Wed May 12 13:55:37 2004 +0000
     1.2 +++ b/src/hugo/graph_wrapper.h	Wed May 12 14:02:31 2004 +0000
     1.3 @@ -916,6 +916,10 @@
     1.4  	else 
     1.5  	  return backward_map[e/*.in*/]; 
     1.6        }
     1.7 +      void update() { 
     1.8 +	forward_map.update(); 
     1.9 +	backward_map.update();
    1.10 +      }
    1.11  //       T get(Edge e) const { 
    1.12  // 	if (e.out_or_in) 
    1.13  // 	  return forward_map.get(e.out); 
    1.14 @@ -1251,6 +1255,10 @@
    1.15  	else 
    1.16  	  return backward_map[e/*.in*/]; 
    1.17        }
    1.18 +      void update() { 
    1.19 +	forward_map.update(); 
    1.20 +	backward_map.update();
    1.21 +      }
    1.22  //       T get(Edge e) const { 
    1.23  // 	if (e.out_or_in) 
    1.24  // 	  return forward_map.get(e.out);