src/lemon/erasable_graph_extender.h
changeset 953 d9c115e2eeaf
child 980 0f1044b7a3af