Re: [graph-tool] The basic usage in the Graph-tool: how to delete vertex and related edges in the Graph-tool?