lemon/bits/graph_extender.h
changeset 2340 03c71d754990
parent 2290 f30867b359a8
child 2384 805c5a2a36dd