lemon/bits/graph_extender.h
changeset 1803 ee8dd6872645
child 1820 22099ef840d7