Remove all the edges and vertices from this graph. */
| 371 | |
| 372 | /** Remove all the edges and vertices from this graph. */ |
| 373 | void clear() { m_vertices.clear(); m_removed.clear(); } |
| 374 | |
| 375 | /** Add a vertex to this graph. */ |
| 376 | vertex_descriptor add_vertex( |
no outgoing calls
no test coverage detected