equal
deleted
inserted
replaced
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); |