Re: [boost] Obtaining vertex_descriptor from auxiliary unique vertex index