Swap this graph with graph x. */
| 393 | |
| 394 | /** Swap this graph with graph x. */ |
| 395 | void swap(UndirectedGraph& x) |
| 396 | { |
| 397 | m_vertices.swap(x.m_vertices); |
| 398 | m_removed.swap(x.m_removed); |
| 399 | } |
| 400 | |
| 401 | /** Return properties of vertex u. */ |
| 402 | const vertex_property_type& operator[](vertex_descriptor u) const |