src/hugo/graph_wrapper.h
changeset 625 28634fadbf9a
parent 624 2e2618612b68
child 626 0015642b0990
equal deleted inserted replaced
14:7a7354931891 15:b311f86abca5
   914 	if (!e.backward) 
   914 	if (!e.backward) 
   915 	  return forward_map[e/*.out*/]; 
   915 	  return forward_map[e/*.out*/]; 
   916 	else 
   916 	else 
   917 	  return backward_map[e/*.in*/]; 
   917 	  return backward_map[e/*.in*/]; 
   918       }
   918       }
       
   919       void update() { 
       
   920 	forward_map.update(); 
       
   921 	backward_map.update();
       
   922       }
   919 //       T get(Edge e) const { 
   923 //       T get(Edge e) const { 
   920 // 	if (e.out_or_in) 
   924 // 	if (e.out_or_in) 
   921 // 	  return forward_map.get(e.out); 
   925 // 	  return forward_map.get(e.out); 
   922 // 	else 
   926 // 	else 
   923 // 	  return backward_map.get(e.in); 
   927 // 	  return backward_map.get(e.in); 
  1249 	if (!e.backward) 
  1253 	if (!e.backward) 
  1250 	  return forward_map[e/*.out*/]; 
  1254 	  return forward_map[e/*.out*/]; 
  1251 	else 
  1255 	else 
  1252 	  return backward_map[e/*.in*/]; 
  1256 	  return backward_map[e/*.in*/]; 
  1253       }
  1257       }
       
  1258       void update() { 
       
  1259 	forward_map.update(); 
       
  1260 	backward_map.update();
       
  1261       }
  1254 //       T get(Edge e) const { 
  1262 //       T get(Edge e) const { 
  1255 // 	if (e.out_or_in) 
  1263 // 	if (e.out_or_in) 
  1256 // 	  return forward_map.get(e.out); 
  1264 // 	  return forward_map.get(e.out); 
  1257 // 	else 
  1265 // 	else 
  1258 // 	  return backward_map.get(e.in); 
  1266 // 	  return backward_map.get(e.in);