Set the vertex_removed property. */
| 446 | |
| 447 | /** Set the vertex_removed property. */ |
| 448 | void put(vertex_removed_t, vertex_descriptor u, bool flag) |
| 449 | { |
| 450 | vertices_size_type ui = get(vertex_index, *this, u); |
| 451 | if (ui >= m_removed.size()) |
| 452 | m_removed.resize(ui + 1); |
| 453 | m_removed[ui] = flag; |
| 454 | } |
| 455 | |
| 456 | /** Remove vertex u from this graph. It is assumed that there |
| 457 | * are no edges to or from vertex u. It is best to call |