lemon/bits/graph_extender.h
changeset 1811 597ce92fae73
child 1820 22099ef840d7