Re: [Boost-users] Termination of breadth first search