src/lemon/erasable_graph_extender.h
changeset 1071 7c70fc1b2d8b
parent 1022 567f392d1d2e