[graph-tool] How is all_shortest_paths defined?