# HG changeset patch
# User marci
# Date 1084370551 0
# Node ID 28634fadbf9ac24acc01c026aad7f8cc38ce1003
# Parent  2e2618612b6829ec9d578bfe754a824ec3a58eee


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);