lemon/bits/graph_extender.h
changeset 83 3654324ec035
child 77 2de55e4f57a7