Remove vertex u from this graph. It is assumed that there * are no edges to or from vertex u. It is best to call * clear_vertex before remove_vertex. */
| 458 | * clear_vertex before remove_vertex. |
| 459 | */ |
| 460 | void remove_vertex(vertex_descriptor u) |
| 461 | { |
| 462 | put(vertex_removed, u, true); |
| 463 | } |
| 464 | |
| 465 | /** Return the number of vertices. */ |
| 466 | vertices_size_type num_vertices() const |