Re: [graph-tool] How is all_shortest_paths defined?