src/lemon/smart_graph.h
changeset 1432 46b088b01f88
parent 1307 d4acebef7276