Justin Viiret c7c90c7ab7 graph_undirected: adapt bidi graph to undirected
Introduces an adaptor (like the BGL's reverse_graph) that presents an
undirected view of a bidirectional graph.

Initially used in ng_calc_components.
2018-06-27 13:40:10 +08:00
..
2017-05-30 13:59:00 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-01-17 11:38:09 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2017-04-26 15:19:19 +10:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00
2015-10-20 09:13:35 +11:00