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. */
| 508 | * clear_vertex before remove_vertex. |
| 509 | */ |
| 510 | void remove_vertex(vertex_descriptor u) |
| 511 | { |
| 512 | put(vertex_removed, u, true); |
| 513 | } |
| 514 | |
| 515 | /** Return the number of vertices. */ |
| 516 | vertices_size_type num_vertices() const |
nothing calls this directly
no test coverage detected