lemon/bits/graph_extender.h
changeset 1813 5c5d1574667d
child 1820 22099ef840d7