Make filtered_graph conditionally model the underlying graph

boostorg / graph

Boost.org graph module

http://boost.org/libs/graph

325 stars 208 forks source link

Open tsnorri opened 2 weeks ago

tsnorri commented 2 weeks ago

According to filtered_graph's documentation, the refinements of the model of the underlying graph are optional.