module RGL::MutableGraph

def remove_vertex(v)


vertex set of the graph, and there no edge with source or target _v_.
Postcondition: num_vertices is one less, _v_ no longer appears in the

_v_ are also removed from the edge set of the graph.
Remove u from the vertex set of the graph. All edges whose target is
def remove_vertex(v)
  raise NotImplementedError
end