Set the vertex_removed property. */
| 496 | |
| 497 | /** Set the vertex_removed property. */ |
| 498 | void put(vertex_removed_t, vertex_descriptor u, bool flag) |
| 499 | { |
| 500 | vertices_size_type ui = get(vertex_index, *this, u); |
| 501 | if (ui >= m_removed.size()) |
| 502 | m_removed.resize(ui + 1); |
| 503 | m_removed[ui] = flag; |
| 504 | } |
| 505 | |
| 506 | /** Remove vertex u from this graph. It is assumed that there |
| 507 | * are no edges to or from vertex u. It is best to call |
no test coverage detected