lemon/bits/graph_extender.h
changeset 80 15968e25ca08
child 77 2de55e4f57a7