Re: [Boost-users] [heap] How to orderly traverse a priority queue and update a given element?