Vocabulary
graphs

Inputs
vertexan object
edgesa sequence
graphan assoc mapping vertices to sets of edges


Outputs
None

Word description
Removes a vertex from a graph, using the given edges sequence.

Notes
The edges sequence must have all the values passed to add-vertex, otherwise some vertices of the graph may continue to refer to the removed vertex.

Side effects
Modifies graph

Definition