src/lemon/erasable_graph_extender.h
changeset 978 175cf8c3a994
child 980 0f1044b7a3af