src/lemon/erasable_graph_extender.h
changeset 957 4dd4eaee28e7
child 980 0f1044b7a3af