Swap this graph with graph x. */
| 349 | |
| 350 | /** Swap this graph with graph x. */ |
| 351 | void swap(DirectedGraph& x) |
| 352 | { |
| 353 | m_vertices.swap(x.m_vertices); |
| 354 | m_removed.swap(x.m_removed); |
| 355 | } |
| 356 | |
| 357 | /** Return properties of vertex u. */ |
| 358 | const vertex_property_type& operator[](vertex_descriptor u) const |