lemon/bits/graph_extender.h
changeset 1809 029cc4f638d1
child 1820 22099ef840d7