src/lemon/bits/erasable_graph_extender.h
changeset 1426 91eb70983697
parent 1307 d4acebef7276