src/lemon/bits/extendable_graph_extender.h
changeset 1431 ad44b1dd8013
parent 1307 d4acebef7276