src/lemon/bits/erasable_graph_extender.h
changeset 1433 e0ec5ce0771e
parent 1307 d4acebef7276