src/lemon/bits/erasable_graph_extender.h
changeset 1420 e37cca875667
parent 1307 d4acebef7276