lemon/bits/graph_extender.h
changeset 1804 7a76e35e4a78
child 1820 22099ef840d7