Re: [boost] [BGL] How to stopping prematurely a graph exploration