[boost] Re: How to get an unique identifier for an edge