Vertex Mutable Graph
A vertex mutable graph can be changed by adding or removing vertices.
The memory management is the responsibility of the graph implementation.
The graph user need only make calls to add_vertex and
remove_vertex and the graph implementation does the rest.
Refinement of
Graph and DefaultConstructible
Valid Expressions
-
add_vertex(g)returnsvertex_descriptor
Semantics: Add a new vertex to the graph. Thevertex_descriptorfor the new vertex is returned. -
remove_vertex(u, g)returnsvoid
Semantics: Remove u from the vertex set of the graph.
Preconditions: u is a valid vertex descriptor of graph g and there are no edges incident to vertex u. The functionclear_vertexcan be used to remove all incident edges.
Postconditions:num_vertices(g)is one less; u no longer appears in the vertex set of the graph and it is no longer a valid vertex descriptor.