[boost] [graph] LEDA adapter